module Xquery_ast:sig
..end
type
element_test =
| |
SchemaElementTest of |
| |
ElementTest of |
type
attribute_test =
| |
SchemaAttributeTest of |
| |
AttributeTest of |
type
kind_test =
| |
DocumentKind of |
| |
ElementKind of |
| |
AttributeKind of |
| |
PIKind of |
| |
CommentKind |
| |
TextKind |
| |
AnyKind |
type
itemtype =
| |
ITKindTest of |
| |
ITTypeRef of |
| |
ITItem |
| |
ITNumeric |
| |
ITAnyString |
| |
ITAtomic of |
| |
ITEmpty |
typesequencetype_desc =
itemtype * (Occurrence.occurs * Occurrence.occurs) option
type
sequencetype = {
|
psequencetype_desc : |
|
psequencetype_loc : |
type
node_test =
| |
PNameTest of |
| |
PNodeKindTest of |
type
pattern = {
|
ppattern_desc : |
|
ppattern_loc : |
type
pattern_desc =
| |
Case of |
| |
Default |
type
expr = {
|
pexpr_desc : |
|
pexpr_loc : |
type
expr_desc =
| |
EUnordered of |
| |
EOrdered of |
| |
EBinaryOp of |
| |
EFLWOR of |
| |
EIf of |
| |
ESome of |
| |
EEvery of |
| |
ETypeswitch of |
| |
EInstanceOf of |
| |
ERange of |
| |
EUnaryOp of |
| |
ERoot |
| |
EPath of |
| |
ESelf |
| |
EParent |
| |
EVar of |
| |
EScalar of |
| |
EApp of |
| |
EList of |
| |
EEnclosed of |
| |
ECast of |
| |
ECastable of |
| |
ETreat of |
| |
EValidate of |
| |
EElemFixed of |
| |
EElemComputed of |
| |
EAttrFixed of |
| |
EAttrComputed of |
| |
EDocument of |
| |
EText of |
| |
ECharRef of |
| |
ETextComputed of |
| |
EPI of |
| |
EPIComputed of |
| |
EComment of |
| |
ECommentComputed of |
| |
EPragma of |
| |
ELetServerImplement of |
| |
EForServerClose of |
| |
EExecute of |
| |
EEvalClosure of |
| |
ECopy of |
| |
ESnap of |
| |
EDelete of |
| |
EInsert of |
| |
ERename of |
| |
EReplace of |
| |
ERevalidate of |
| |
ETransform of |
| |
EWhile of |
| |
ELetvar of |
| |
ESet of |
| |
EBlock of |
type
path_expr =
| |
PSlash of |
| |
PSlashSlash of |
| |
PAxis of |
| |
PStepQualifiers of |
type
step_qualifier = {
|
pstep_qualifier_desc : |
|
pstep_qualifier_loc : |
type
step_qualifier_desc =
| |
PredicateQualifier of |
type
fl_expr = {
|
pfl_desc : |
|
pfl_loc : |
type
fl_expr_desc =
| |
ELet of |
| |
EFor of |
typeorder_by =
Xquery_common_ast.stablekind * order_spec list
typeorder_spec =
expr * Xquery_common_ast.sortkind *
Xquery_common_ast.emptysortkind option
type
insert_location =
| |
EAsLastInto of |
| |
EAsFirstInto of |
| |
EInto of |
| |
EAfter of |
| |
EBefore of |
type
snap =
| |
Snap |
| |
NoSnap |
typecopyvar_expr_desc =
Xquery_common_ast.vname * expr
type
copyvar_expr = {
|
pcopyvar_desc : |
|
pcopyvar_loc : |
type
block_decl_expr = {
|
bl_decl_desc : |
|
bl_decl_loc : |
typeblock_decl_desc =
sequencetype option * Xquery_common_ast.vname * expr
typestatement =
expr
type
function_body =
| |
EFunctionBltIn |
| |
EFunctionInterface |
| |
EFunctionImported |
| |
EFunctionUser of |
typefunction_signature =
sequencetype option list * sequencetype option
type
function_def = {
|
pfunction_def_desc : |
|
pfunction_loc : |
typefunction_def_desc =
Xquery_common_ast.fname * Xquery_common_ast.vname list *
function_signature * function_body *
Xquery_common_ast.updating_modifier
type
var_body =
| |
EVarExternal |
| |
EVarInterface |
| |
EVarImported |
| |
EVarUser of |
type
var_decl = {
|
pvar_decl_desc : |
|
pvar_decl_loc : |
typevar_decl_desc =
Xquery_common_ast.vname * sequencetype option *
var_body
type
server_decl = {
|
pserver_decl_desc : |
|
pserver_decl_loc : |
typeserver_decl_desc =
Namespace_names.ncname * Namespace_names.ncname * expr
type
index_def = {
|
pindex_def_desc : |
|
pindex_def_loc : |
type
index_def_desc =
| |
ValueIndex of |
| |
NameIndex of |
type
context_decl = {
|
pcontext_decl_desc : |
|
pcontext_decl_loc : |
type
context_decl_desc =
| |
EBaseURIDecl of |
| |
ENamespaceDecl of |
| |
EDefaultElementNamespaceDecl of |
| |
EDefaultFunctionNamespaceDecl of |
| |
ESchemaDecl of |
| |
EImportServiceDecl of |
| |
EImportModuleDecl of |
| |
EXmlSpaceDecl of |
| |
EDefaultCollationDecl of |
| |
EConstructionDecl of |
| |
EOrderingDecl of |
| |
EDefaultEmptyOrderDecl of |
| |
ECopyNamespacesDecl of |
| |
EImportInterfaceDecl of |
type
funcvar_def =
| |
OptionDecl of |
| |
FunDef of |
| |
VarDef of |
| |
ServerDef of |
type
prolog = {
|
mutable pprolog_xschemas : |
|
mutable pprolog_contexts : |
|
mutable pprolog_funcvars : |
|
mutable pprolog_indices : |
type
interface_prolog = {
|
mutable iprolog_xschemas : |
|
mutable iprolog_contexts : |
|
mutable iprolog_funcvars : |
type
interface = {
|
pinterface_decl : |
|
pinterface_prolog : |
type
library_module = {
|
plibrary_module_decl : |
|
plibrary_module_prolog : |
type
main_module = {
|
pmain_module_prolog : |
|
pmain_module_statements : |
type
xmodule =
| |
ELibraryModule of |
| |
EMainModule of |
typeexpr_handle =
expr option