Go to the first, previous, next, last section, table of contents.


xpath_syntax: definition of the concrete syntax

type expr =
    String_literal of string
  | Number_literal of float
  | Var of string
  | Function of string * expr list
  | PathExpr of path_expr
  | Equal of expr * expr
  | NotEqual of expr * expr
  | Lower of expr * expr
  | Greater of expr * expr
  | LowerEqual of expr * expr
  | GreaterEqual of expr * expr
  | Plus of expr * expr
  | Minus of expr * expr
  | Mul of expr * expr
  | Div of expr * expr
  | Mod of expr * expr
  | UnaryMinus of expr
  | Or of expr * expr
  | And of expr * expr
and path_expr =
    Pipe of path_expr * path_expr
  | Slash of path_expr * path_expr
  | Axis of Xpath_tree.Axis.t * path_expr
  | Name of string
  | TypeTest of Xpath_tree.Type_test.t
  | Condition of path_expr * expr
  | Root
  | Expr of expr

val path_expr : path_expr -> expr

val expr : expr -> path_expr

val double_slash : path_expr -> path_expr -> path_expr

val dot : path_expr
val dotdot : path_expr


Go to the first, previous, next, last section, table of contents.