Module ClangFrontend.CModule_type
type block_data
=
{
captured_vars : (IR.Pvar.t * IR.Typ.t * IR.Pvar.capture_mode) list;
context : CContext.t;
passed_as_noescape_block_to : IR.Procname.t option;
procname : IR.Procname.t;
return_type : ATDGenerated.Clang_ast_t.qual_type;
}
type instr_type
=[
|
`ClangStmt of ATDGenerated.Clang_ast_t.stmt
|
`CXXConstructorInit of ATDGenerated.Clang_ast_t.cxx_ctor_initializer
]
module type CTranslation = sig ... end
module type CFrontend = sig ... end