- include Hlist.Make(Transition)
- let print ppf fl =
- let l = fold (fun t acc -> t :: acc) fl [] in
- let strings = Transition.format_list l in
- List.iter (fun s -> Format.fprintf ppf "%s\n%!" s) strings
+include Hlist.Make(Transition)
+let print ppf fl =
+ let l = fold (fun t acc -> t :: acc) fl [] in
+ let strings = Transition.format_list l in
+ List.iter (fun s -> Format.fprintf ppf "%s\n%!" s) strings