99 open Hints_declaration
127 (** val print_LIN_program :
128 'a1 Joint_printer.printing_params -> LIN.lin_program -> (AST.ident, 'a1
129 List.list) Types.prod List.list **)
130 let print_LIN_program pp prog =
131 Joint_printer.print_joint_program (Joint.lin_params_to_params LIN.lIN) pp
133 (Joint_printer.lin_code_iteration_params LIN.lIN
134 (Joint.prog_names (Joint.lin_params_to_params LIN.lIN) prog) pp)