(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-13 10:34:14 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-13 14:14:15 CET by Kim Nguyen>
*)
open Xpath_internal_parser
| ">=" -> GTE
| "=" -> EQ
| "!=" -> NEQ
+ | ".." -> DOTDOT
+ | "." -> DOT
| "node()" -> NODE
| "text()" -> TEXT
| "comment()" -> COMMENT