projects
/
SXSI
/
xpathcomp.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Change queries according to Niko
[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