let print_transition tr = Format.print_string (" { "); Format.print_int tr.numt; Format.print_string (": "^tr.start.name^" ") ; print_cross tr.cross ; Format.print_string (" "^tr.stop.name ^ " }\n")