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
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