projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
i
[SXSI/xpathcomp.git]
/
src
/
nodeSet.mli
diff --git
a/src/nodeSet.mli
b/src/nodeSet.mli
index
a25189a
..
2417ede
100644
(file)
--- a/
src/nodeSet.mli
+++ b/
src/nodeSet.mli
@@
-1,8
+1,12
@@
+
module type S =
sig
type t
type elt = Tree.node
val empty : t
module type S =
sig
type t
type elt = Tree.node
val empty : t
+ val var : (int*State.t) -> t
+ val close : ((int*State.t), t) Hashtbl.t -> t -> t
+ val is_open : t -> bool
val singleton : elt -> t
val cons : elt -> t -> t
val snoc : t -> elt -> t
val singleton : elt -> t
val cons : elt -> t -> t
val snoc : t -> elt -> t
@@
-18,6
+22,9
@@
module type S =
val fold : ( elt -> 'a -> 'a) -> t -> 'a -> 'a
val length : t -> int
val serialize : string -> Tree.t -> t -> unit
val fold : ( elt -> 'a -> 'a) -> t -> 'a -> 'a
val length : t -> int
val serialize : string -> Tree.t -> t -> unit
+
+
+
end
module Count : S with type t = int
end
module Count : S with type t = int
@@
-37,3
+44,5
@@
type 'a mat = { mutable clist : clist;
module Mat : S with type t = Tree.node mat
val debug : Tree.node mat -> unit
module Mat : S with type t = Tree.node mat
val debug : Tree.node mat -> unit
+
+module Partial(N : S) : S