CFrontend_decl_funct (infer.ClangFrontend.CFrontend_decl.CFrontend_decl

Parameters

module T : CModule_type.CTranslation

Signature

val function_decl : 
  CFrontend_config.translation_unit_context ->
  IR.Tenv.t ->
  IR.Cfg.t ->
  ATDGenerated.Clang_ast_t.decl ->
  CModule_type.block_data option ->
  unit

val translate_one_declaration : 
  CFrontend_config.translation_unit_context ->
  IR.Tenv.t ->
  IR.Cfg.t ->
  CFrontend_config.decl_trans_context ->
  ATDGenerated.Clang_ast_t.decl ->
  unit