Merge branch 'handle-stdout'

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

diff --git a/src/resJIT.mli b/src/resJIT.mli
index 9b7faff..fcf38b8 100644 (file)
--- a/src/resJIT.mli
+++ b/src/resJIT.mli
@@ -33,18 +33,12 @@ module type S =
     module NS : NodeSet.S
     type t = NS.t array
     val exec : t -> t -> t -> Tree.node -> code -> unit
+    val print : Format.formatter -> t -> unit
+    val var : int -> t -> t
+    val close : ((int*State.t, NS.t) Hashtbl.t) -> t -> t
+    val is_open : t -> bool
   end
 
-module Count :
-  sig
-    module NS : NodeSet.S with type t = int
-    type t = NS.t array
-    val exec : t -> t -> t -> Tree.node -> code -> unit
-  end
-
-module Mat :
-  sig
-    module NS : NodeSet.S with type t = Tree.node NodeSet.mat
-    type t = NS.t array
-    val exec : t -> t -> t -> Tree.node -> code -> unit
-  end
+module Count : S with type NS.t = int
+module Mat : S with type NS.t = Tree.node NodeSet.mat
+module Make(U : NodeSet.S) : S with type NS.t = U.t