Here is a list of all namespace variables with links to the namespace documentation for each variable:

- _ -

• __ESBMC_exception_slot_count : __ESBMC_exception_detail
• __ESBMC_exception_slots : __ESBMC_exception_detail
• __ESBMC_handled_exception_depth : __ESBMC_exception_detail
• __ESBMC_handled_exceptions : __ESBMC_exception_detail
• _ARG_VAR_PREFIX : preprocessor.unittest_mixin
• _ASSERTIONS : preprocessor.unittest_mixin
• _BUILTIN_RESULTS : preprocessor.function_value_types
• _CALLABLE : preprocessor.function_value_dispatch
• _CAP : preprocessor.function_value_dispatch
• _CASE_VAR_PREFIX : preprocessor.unittest_mixin
• _CHOSEN : preprocessor.function_value_dispatch
• _CODE : preprocessor.function_value_dispatch
• _COMPOUND : preprocessor.function_value_dispatch
• _DEFAULT_NONDET_SIZE : nondet
• _DEPS : parser.parser
• _DRAINS : preprocessor.itertools_lowering
• _Elem : heapq
• _emit_file_as_json : parser.parser
• _emit_module_json : parser.parser
• _FIELD : preprocessor.dataclass_mixin
• _FLAG_PREFIX : preprocessor.unbound_locals
• _FLAGS : parser.parser_cli
• _FUNCTIONS : preprocessor.check_type_lowering, preprocessor.itertools_lowering
• _generate_ast_json : parser.parser
• _HOOKS : preprocessor.path_dependent_attributes
• _I : cmath
• _IDENTITY : preprocessor.function_value_dispatch
• _INT64_MAX : parser.constant_annotations
• _INT64_MIN : parser.constant_annotations
• _INTRINSIC_UNDEFINED : parser.typecheck
• _INTRINSICS : parser.typecheck
• _ITEM : preprocessor.dataclass_mixin
• _ITERABLES : preprocessor.check_type_lowering
• _KEY : preprocessor.dataclass_mixin
• _KNOWN_RETURNS : preprocessor.bound_method_values
• _LN10 : cmath
• _LN2 : cmath
• _LOOPING_SCOPES : preprocessor.itertools_lowering
• _LOOPS : preprocessor.generator_mixin
• _MAX_NONDET_BOOL_KEYS : nondet
• _MAX_NONDET_STR_KEYS : nondet
• _MIN_POSITIVE : cmath
• _MODULE : preprocessor.check_type_lowering
• _NAMED_BINDERS : parser.class_collision
• _NEG_I : cmath
• _NESTED : preprocessor.function_value_dispatch
• _NESTED_BODY_FIELDS : parser.rewrite_re
• _NESTED_SCOPES : preprocessor.unbound_locals
• _NONDET_PREFIX : preprocessor.function_value_types
• _NUMERIC : preprocessor.function_value_types
• _NUMERIC_ONLY_OPS : preprocessor.function_value_types
• _PREFIX : preprocessor.function_value_dispatch
• _RE_ENTRY_FUNCS : parser.rewrite_re
• _RE_HELPER_BY_METHOD : parser.rewrite_re
• _RE_MATCH_METHODS : parser.rewrite_re
• _REFLECTIVE : preprocessor.function_value_dispatch
• _REFLECTIVE_ATTRS : preprocessor.function_value_dispatch
• _REJECTION_EXIT : parser.parser
• _RETURN : preprocessor.function_value_dispatch
• _SCOPE_NODES : parser.threading_lowering
• _SCOPES : preprocessor.iter_next_lowering, preprocessor.path_dependent_attributes, preprocessor.unittest_mixin
• _SHOWN : preprocessor.function_value_types
• _SIMPLE_BINDINGS : preprocessor.bound_method_dispatch
• _SIMPLE_STATEMENTS : preprocessor.itertools_lowering
• _SITE : preprocessor.function_value_dispatch
• _SUBJECT_PREFIX : preprocessor.match_lowering
• _UNCOPYABLE : preprocessor.function_value_dispatch
• _VALUE : preprocessor.dataclass_mixin
• _WALK : preprocessor.dataclass_mixin

- a -

• A : re
• add_constant : picosha2::detail
• add_type_annotation : parser.parser
• AddTypeAnnotationFn : parser.parser_cli
• annotate_constant_node : parser.parser
• AnnotateConstantFn : parser.parser_cli
• annotated_source_header_fmt : clang_bug_report
• args : transform
• ASCII : re
• ascii_letters : string
• ascii_lowercase : string
• ascii_uppercase : string

- b -

• bases : preprocessor.path_dependent_attributes, preprocessor.skipped_base_init
• body : parser.threading_lowering, preprocessor.skipped_base_init
• bootstrap : parser.parser
• bytesn_size_map : SolidityGrammar
• bytesn_to_type_map : SolidityGrammar

- c -

• cli_main : parser.parser
• CliDeps : parser.parser
• compute_range_seed : parser.parser
• ComputeRangeSeedFn : parser.parser_cli
• CONTRACT_CLAUSES : preprocessor.generator_mixin
• counterexample_checkbox : clang_bug_report

- d -

• declined : simplification_check_stats
• default : transform
• default_helper_exports : parser.import_resolver
• DEVNULL : subprocess
• digits : string
• DOTALL : re

- e -

• e : cmath, math, numpy
• EmitPipelineDeps : parser.parser
• end : transform
• ensure_python3 : parser.parser
• ensure_python_frontend_on_path : parser.parser
• ESBMC_VFS_ROOT : file_operations
• ext : transform

- f -

• files : transform

- g -

• GenerateAstJsonFn : parser.parser_cli

- h -

• help : transform
• hexdigits : string
• html_style : clang_bug_report

- i -

• I : re
• IGNORECASE : re
• ill_sorted : simplification_check_stats
• import_resolver : parser.parser
• imported_signature_sources : parser.import_resolver
• inf : cmath, math
• infj : cmath
• initial_message_digest : picosha2::detail
• int_size_map : SolidityGrammar
• int_string_to_type_map : SolidityGrammar

- j -

• JsonEmitterDeps : parser.parser

- k -

• k_digest_size : picosha2
• keyboard_navigation_js : clang_bug_report
• keywords : preprocessor.path_dependent_attributes

- l -

• lineno : parser.threading_lowering
• load_parser_module_deps : parser.parser

- m -

• M : re
• MULTILINE : re
• mypy_api : parser.typecheck

- n -

• name : transform
• name_ : transform
• nan : cmath, math
• nanj : cmath
• num_type_fields : esbmct

- o -

• octdigits : string

- p -

• p : transform
• parse_file_canonicalised : parser.parser
• ParseFileCanonicalisedFn : parser.parser_cli
• parser : transform
• pi : cmath, math, numpy
• PIPE : subprocess
• pop_handled_id : exception_globals
• printable : string
• propagate_range_aliases : parser.parser
• PropagateRangeAliasesFn : parser.parser_cli
• proved : simplification_check_stats
• punctuation : string
• push_handled_id : exception_globals

- r -

• rethrow_current_id : exception_globals
• rewrite_re_match_attribute_calls : parser.parser
• RewriteReFn : parser.parser_cli
• run_mypy_strict : parser.parser
• RunMypyStrictFn : parser.parser_cli

- s -

• S : re
• site_id : exception_globals
• snapshot_exports : parser.parser
• SnapshotExportsFn : parser.parser_cli
• STDOUT : subprocess
• SUPPORTED_THREADING_SYMBOLS : parser.threading_lowering

- t -

• tag_bignum_constants : parser.parser
• tag_nonfinite_floats : parser.parser
• tau : cmath, math
• terminate_reason_id : exception_globals
• THREAD_OVERRIDE_REJECTED_METHODS : parser.threading_lowering
• threading_lowering : parser.parser
• thrown_id : exception_globals
• TOML_ABI_NAMESPACE_END : literals
• type : transform
• typecheck : parser.parser
• typeid_id : exception_globals

- u -

• U : re
• uint_size_map : SolidityGrammar
• uint_string_to_type_map : SolidityGrammar
• unattributed_site : exception_globals
• uncaught_count_id : exception_globals
• UNDECORATED_PREFIX : preprocessor.decorator_lowering
• UNICODE : re
• UNSUPPORTED_THREAD_KWARGS : parser.threading_lowering

- v -

• value_id : exception_globals
• VERBOSE : re
• violations : simplification_check_stats

- w -

• whitespace : string

- x -

• X : re