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