projects / SXSI / xpathcomp.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'handle-stdout'
[SXSI/xpathcomp.git] / src / stateSet.mli
1
2 include Ptset.S with type elt = int
3
4 val print : Format.formatter -> t -> unit
XPath Library based on tree automata.