Parameter CTrans_funct.1-F

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