Module ClangFrontend__CModule_type

type block_data = {
captured_vars : (IR.Pvar.t * IR.Typ.t * IR.Pvar.capture_mode) list;
context : ClangFrontend.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