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