Module Xquery_common_ast


module Xquery_common_ast: sig .. end

type tname = Namespace_names.uqname 
type gname = Namespace_names.uqname 
type ename = Namespace_names.uqname 
type aname = Namespace_names.uqname 
type sname = Namespace_names.uqname 
type vname = Namespace_names.uqname 
type fname = Namespace_names.uqname 
type fname_arity = Namespace_names.uqname * int 
type ctname = Namespace_names.rqname 
type cename = Namespace_names.rqname 
type caname = Namespace_names.rqname 
type cvname = Namespace_names.rqname 
type cfname = Namespace_names.rqname 
type cfname_arity = Namespace_names.rqname * int 
type crname = cvname 
type namespace_declaration = Namespace_names.ncname * Namespace_names.uri 

type nillable =
| Nillable
| NonNillable

type mixed =
| Mixed
| NonMixed

type principal =
| PrincipalElement
| PrincipalAttribute

type unaryop =
| UEPlus
| UEMinus

type binop =
| BEIntersect
| BEUnion
| BEExcept
| BEBar
| BEAnd
| BEOr
| BEPrecedes
| BEFollows
| BEEq
| BENEq
| BELtOp
| BELte
| BEGtOp
| BEGte
| BEEqual
| BENEqual
| BEIs
| BELt
| BEGt
| BELteq
| BEGteq
| BEPlus
| BEMinus
| BEMult
| BEDiv
| BEIDiv
| BEMod

type axis =
| Ancestor
| Ancestor_or_self
| Attribute
| Child
| Descendant
| Descendant_or_self
| Following_sibling
| Preceding_sibling
| Parent
| Self
| Following
| Preceding

type literal =
| IntegerLiteral of Decimal._integer
| DecimalLiteral of Decimal._decimal
| DoubleLiteral of float
| StringLiteral of string
| BooleanLiteral of bool
| URILiteral of AnyURI._uri
val delimited_string_of_literal : string -> literal -> string
val string_of_literal : literal -> string
val literal_of_string : Datatypes.atomic_type -> string -> literal
val atomic_type_of_literal : literal -> Datatypes.atomic_type

type validation_mode =
| Lax
| Strict

type sortkind =
| Ascending
| Descending

type emptysortkind =
| EmptyGreatest
| EmptyLeast

type stablekind =
| Stable
| NonStable

type value_of_flag =
| Normal_Replace
| Value_Of_Replace

type snap_modifier =
| Snap_Ordered_Deterministic
| Snap_Unordered_Deterministic
| Snap_Nondeterministic

type updating_modifier =
| Updating
| NonUpdating

type strip_or_preserve =
| Strip
| Preserve

type ordered_or_unordered =
| Ordered
| Unordered

type preserve_or_no_preserve =
| NSPreserve
| NSNoPreserve

type inherit_or_no_inherit =
| NSInherit
| NSNoInherit
val fs_dot : cvname
val fs_sequence : cvname
val fs_position : cvname
val fs_last : cvname