X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftranslist.ml;fp=src%2Ftranslist.ml;h=77c4cb523e0e289ed2b54c5735ab94bb249eb86a;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=0000000000000000000000000000000000000000;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/src/translist.ml b/src/translist.ml
new file mode 100644
index 0000000..77c4cb5
--- /dev/null
+++ b/src/translist.ml
@@ -0,0 +1,5 @@
+  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