let dot_trans out tr = fprintf out " \"%s\" -> \"%s\" [ label = \"%s\"];\n" (string_of_state tr.start.nums) (string_of_state tr.stop.nums) (string_of_trans tr.numt tr.cross)