let print_system nbprocs abstr fmt sys = if use_short_names then mk_short_names sys; let sys = remove_underscores sys in let proc_ord = ordered_procs_sys sys in print_constants fmt nbprocs abstr; pp_print_newline fmt (); print_types ~proc_ord fmt []; pp_print_newline fmt (); print_vars_defs [] fmt (sys.t_globals @ sys.t_arrays); pp_print_newline fmt (); print_inits fmt sys; pp_print_newline fmt (); print_transitions sys.t_globals sys.t_arrays fmt sys.t_trans; print_unsafes fmt sys.t_unsafe