projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add a kind element to the node tree. Improve support for XPath by
[tatoo.git]
/
src
/
xpath
/
ast.mli
diff --git
a/src/xpath/ast.mli
b/src/xpath/ast.mli
index
7cc91e4
..
0fc63d4
100644
(file)
--- a/
src/xpath/ast.mli
+++ b/
src/xpath/ast.mli
@@
-14,7
+14,7
@@
(***********************************************************************)
(*
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-
04 16:24:33
CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-
13 10:59:27
CET by Kim Nguyen>
*)
type path = single_path list
*)
type path = single_path list
@@
-28,7
+28,7
@@
and axis = Self | Attribute | Child
| PrecedingSibling
| Preceding | Following
| PrecedingSibling
| Preceding | Following
-and test = Utils.QNameSet.t
+and test = Utils.QNameSet.t
* Tree.Common.NodeKind.t
and binop = Eq | Neq | Lt | Gt | Lte | Gte | Or | And | Add | Sub | Mult | Div | Mod
and unop = Neg
and binop = Eq | Neq | Lt | Gt | Lte | Gte | Or | And | Add | Sub | Mult | Div | Mod
and unop = Neg