Merge branch 'local-ocamlbuild' into local-trunk

[SXSI/xpathcomp.git] / src / stateSet.mli

diff --git a/src/stateSet.mli b/src/stateSet.mli
new file mode 100644 (file)
index 0000000..c2cd5bd
--- /dev/null
+++ b/src/stateSet.mli
@@ -0,0 +1,4 @@
+
+include Ptset.S with type elt = int
+
+val print : Format.formatter -> t -> unit