Parameter `CTrans_funct.1-F`

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