Cubicle 1.1.2 documentation and source : Ptree.print

let print_system fmt { type_defs;
                       globals;
                       arrays;
                       consts;
                       init;
                       invs;
                       unsafe;
                       trans } =
  print_type_defs fmt type_defs;
  pp_print_newline fmt ();
  print_globals fmt globals;
  (* pp_print_newline fmt (); *)
  print_arrays fmt arrays;
  (* pp_print_newline fmt (); *)
  print_consts fmt consts;
  pp_print_newline fmt ();
  print_init fmt init;
  pp_print_newline fmt ();
  print_invs fmt invs;
  pp_print_newline fmt ();
  print_unsafe fmt unsafe;
  pp_print_newline fmt ();
  print_trans fmt (List.rev trans)