Here is a list of all namespace functions with links to the namespace documentation for each function:

- e -

• eig() : linalg
• elementary_to_sol_type() : SolidityGrammar
• elementary_type_name_to_str() : SolidityGrammar
• emit_file_as_json() : parser.json_emitter, parser.parser
• emit_module_json() : parser.import_resolver, parser.json_emitter, parser.parser
• empty() : numpy
• empty_like() : numpy
• encode_bytes() : parser.constant_annotations
• ensure_allowed_keywords() : string_call_utils, string_method_dispatch
• ensure_default_helper_imports() : parser.import_resolver
• ensure_python3() : parser.bootstrap
• ensure_python_frontend_on_path() : parser.bootstrap
• entry_admits_two_disjunct_bound() : invariant_synthesis
• equal() : numpy
• erf() : math
• erfc() : math
• ESBMC_range_has_next_() : range
• ESBMC_range_next_() : range
• exists() : path
• exp() : cmath, math, numpy
• exp2() : math
• expm1() : math
• expression_to_str() : SolidityGrammar
• extract_constant_integer() : json_utils
• extract_var_name_from_symbol_id() : json_utils
• eye() : numpy