X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FresJIT.mli;fp=src%2FresJIT.mli;h=fcf38b84d398c71dae98980ffba62dbdca12ee3e;hb=013ac87b16485acbe56f07d99a810d6364242a9e;hp=9b7faff8c92c97fe28d1a58de76fc43cb0c924d3;hpb=fd8c311ef5bd3f856e7aa56c38219db6fb9f636c;p=SXSI%2Fxpathcomp.git

diff --git a/src/resJIT.mli b/src/resJIT.mli
index 9b7faff..fcf38b8 100644
--- 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