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 ... endmodule type CFrontend = sig ... end