Here is a list of all namespace enums with links to the namespace documentation for each enum:

• __ESBMC_terminate_reason : __ESBMC_exception_detail
• backendt : llm
• BlockT : SolidityGrammar
• ContractBodyElementT : SolidityGrammar
• ElementaryTypeNameT : SolidityGrammar
• ExpressionT : SolidityGrammar
• FunctionDeclRefT : SolidityGrammar
• ImplicitCastTypeT : SolidityGrammar
• InferResult : python_annotation_utils
• ParameterListT : SolidityGrammar
• SolType : SolidityGrammar
• StatementT : SolidityGrammar
• terminate_reasont : exception_globals
• TypeNameT : SolidityGrammar
• VisibilityT : SolidityGrammar