99 open Hints_declaration
125 (** val print_RTL_program :
126 'a1 Joint_printer.printing_params -> RTL.rtl_program -> (AST.ident, 'a1
127 List.list) Types.prod List.list **)
128 let print_RTL_program pp prog =
129 Joint_printer.print_joint_program (Joint.graph_params_to_params RTL.rTL) pp
131 (Joint_printer.graph_code_iteration_params RTL.rTL
132 (Joint.prog_names (Joint.graph_params_to_params RTL.rTL) prog) pp)