99 open Hints_declaration
127 (** val print_LTL_program :
128 'a1 Joint_printer.printing_params -> LTL.ltl_program -> (AST.ident, 'a1
129 List.list) Types.prod List.list **)
130 let print_LTL_program pp prog =
131 Joint_printer.print_joint_program (Joint.graph_params_to_params LTL.lTL) pp
133 (Joint_printer.graph_code_iteration_params LTL.lTL
134 (Joint.prog_names (Joint.graph_params_to_params LTL.lTL) prog) pp)