src/translist.ml

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