projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
removed cruft, fixed ptset.ml
[SXSI/xpathcomp.git]
/
tree.mli
diff --git
a/tree.mli
b/tree.mli
index
9169f39
..
d8a49c9
100644
(file)
--- a/
tree.mli
+++ b/
tree.mli
@@
-25,7
+25,7
@@
val tag : t -> Tag.t
val text_below : t -> t
val text_next : t -> t -> t
val tagged_desc : Tag.t -> t -> t
val text_below : t -> t
val text_next : t -> t -> t
val tagged_desc : Tag.t -> t -> t
-val tagged_foll_
below
: Tag.t -> t -> t -> t
+val tagged_foll_
ctx
: Tag.t -> t -> t -> t
(*
val select_desc_only : Ptset.Int.t -> t -> t
val select_foll_only : Ptset.Int.t -> t -> t -> t
(*
val select_desc_only : Ptset.Int.t -> t -> t
val select_foll_only : Ptset.Int.t -> t -> t -> t