Module `ClangFrontend.CModule_type`

type block_data = { captured_vars : (IR.Pvar.t * IR.Typ.t * IR.CapturedVar.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; }

module type CTranslation = sig ... end

module type CFrontend = sig ... end