Module ClangFrontend.CModule_type

type block_data = {
  1. captured_vars : (IR.Pvar.t * IR.Typ.t * IR.CapturedVar.capture_mode) list;
  2. context : CContext.t;
  3. block_as_arg_attributes : IR.ProcAttributes.block_as_arg_attributes option;
  4. procname : IR.Procname.t;
  5. return_type : ATDGenerated.Clang_ast_t.qual_type;
}
module type CTranslation = sig ... end

Translates instructions: (statements and expressions) from the ast into sil

module type CFrontend = sig ... end