Module CFrontend_decl.CFrontend_decl_funct

Parameters

• 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