Sort and remove duplicate from text query results (needed for the
[SXSI/xpathcomp.git] / 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