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