.. SPDX-FileCopyrightText: 2019-2020 Intel Corporation .. .. SPDX-License-Identifier: CC-BY-4.0 ===================== General Information ===================== .. toctree:: :maxdepth: 2 intro.rst notation.rst identifiers.rst named_requirements.rst thread_safety.rst