Module Parse_xquery

module Parse_xquery: sig .. end

type token =

`\|`	`XQNAME of Namespace_names.uqname`
`\|`	`XNCNAME of Namespace_names.ncname`
`\|`	`XSTRING of Datatypes.xs_string`
`\|`	`XMLPI`
`\|`	`XVERSION`
`\|`	`XSDDECL`
`\|`	`XSINGLEQUOTE`
`\|`	`XDOUBLEQUOTE`
`\|`	`XDECLNAME of string`
`\|`	`XENCODING of string`
`\|`	`DOCTYPE`
`\|`	`DOCTYPECLOSE`
`\|`	`DTDDECLOPEN`
`\|`	`DTDDECLCLOSE`
`\|`	`S`
`\|`	`LOPENINGTAG`
`\|`	`LCLOSINGTAG`
`\|`	`ROPENINGTAG`
`\|`	`RCLOSINGTAG`
`\|`	`REMPTYELEMENT`
`\|`	`TEXTLCLOSINGTAG of Datatypes.xs_untyped`
`\|`	`TEXTLOPENINGTAG of Datatypes.xs_untyped`
`\|`	`TEXTLCURLY of Datatypes.xs_untyped`
`\|`	`OPENINGPI of Namespace_names.ncname`
`\|`	`CLOSINGPI`
`\|`	`LOPENINGCOMMENT`
`\|`	`TEXTCLOSINGPI of Datatypes.xs_untyped`
`\|`	`TEXTRCLOSINGCOMMENT of Datatypes.xs_untyped`
`\|`	`TEXTOPENINGPI of (Datatypes.xs_untyped * Namespace_names.ncname)`
`\|`	`TEXTLOPENINGCOMMENT of Datatypes.xs_untyped`
`\|`	`ATTRIBUTETEXT of Datatypes.xs_untyped`
`\|`	`ATTRIBUTETEXTLCURLY of Datatypes.xs_untyped`
`\|`	`TEXTCHARREF of (Datatypes.xs_untyped * int)`
`\|`	`TEXTENTITYREF of (Datatypes.xs_untyped * string)`
`\|`	`PEREF of Namespace_names.ncname`
`\|`	`PERCENT`
`\|`	`NMTOKEN of Namespace_names.ncname`
`\|`	`REQUIRED`
`\|`	`IMPLIED`
`\|`	`FIXED`
`\|`	`PCDATA`
`\|`	`ELEMENTDECL`
`\|`	`ATTLISTDECL`
`\|`	`ENTITYDECL`
`\|`	`NOTATIONDECL`
`\|`	`BEGINDECL`
`\|`	`ENDDECL`
`\|`	`BODYDECL`
`\|`	`DECLAREDEFAULTCOLLATION`
`\|`	`DECLARENAMESPACE`
`\|`	`DECLAREBASEURI`
`\|`	`MODULENAMESPACE`
`\|`	`INTERFACENAMESPACE`
`\|`	`DECLAREDEFAULTELEMENT`
`\|`	`DECLAREDEFAULTFUNCTION`
`\|`	`IMPORTSCHEMA`
`\|`	`IMPORTMODULE`
`\|`	`IMPORTINTERFACE`
`\|`	`IMPORTSERVICE`
`\|`	`NAMESPACE`
`\|`	`DEFAULTELEMENT`
`\|`	`DECLAREVALUEINDEX`
`\|`	`DECLARENAMEINDEX`
`\|`	`DECLAREFUNCTION`
`\|`	`EXTERNAL`
`\|`	`DECLAREUPDATINGFUNCTION`
`\|`	`DECLAREVARIABLE`
`\|`	`XQUERYVERSION`
`\|`	`ENCODING`
`\|`	`PRESERVE`
`\|`	`NOPRESERVE`
`\|`	`INHERIT`
`\|`	`NOINHERIT`
`\|`	`STRIP`
`\|`	`ORDERED`
`\|`	`UNORDERED`
`\|`	`DECLARECONSTRUCTION`
`\|`	`DECLAREBOUNDARYSPACE`
`\|`	`DECLAREORDERING`
`\|`	`DECLAREOPTION`
`\|`	`DECLARESERVER`
`\|`	`DECLAREDEFAULTORDER`
`\|`	`DECLARECOPYNAMESPACES`
`\|`	`DECLARESCHEMALCURLY`
`\|`	`DECLAREATTRIBUTE of Namespace_names.uqname`
`\|`	`DECLAREELEMENT of Namespace_names.uqname`
`\|`	`DECLARESIMPLETYPE of Namespace_names.uqname`
`\|`	`DECLARECOMPLEXTYPE of Namespace_names.uqname`
`\|`	`DECLAREGROUP of Namespace_names.uqname`
`\|`	`DECLAREATTRGROUP of Namespace_names.uqname`
`\|`	`GROUP`
`\|`	`ATTRGROUP`
`\|`	`OFTYPE`
`\|`	`OFSIMPLETYPE`
`\|`	`NILLABLE`
`\|`	`MIXED`
`\|`	`SUBSTITUTESFOR`
`\|`	`RESTRICTS`
`\|`	`EXTENDS`
`\|`	`LISTOF`
`\|`	`UNIONOF`
`\|`	`ATTRIBUTEQNAMECURLY of Namespace_names.uqname`
`\|`	`ELEMENTQNAMECURLY of Namespace_names.uqname`
`\|`	`NAMESPACENCNAMECURLY of Namespace_names.ncname`
`\|`	`PINCNAMECURLY of Namespace_names.ncname`
`\|`	`DOCUMENTCURLY`
`\|`	`TEXTCURLY`
`\|`	`PICURLY`
`\|`	`COMMENTCURLY`
`\|`	`ATTRIBUTECURLY`
`\|`	`ELEMENTCURLY`
`\|`	`PRAGMA of (Namespace_names.uqname * string)`
`\|`	`DOCUMENTNODELPAR`
`\|`	`ELEMENTLPAR`
`\|`	`ATTRIBUTELPAR`
`\|`	`TEXTLPAR`
`\|`	`SCHEMAELEMENTLPAR`
`\|`	`SCHEMAATTRIBUTELPAR`
`\|`	`EMPTYSEQUENCELPAR`
`\|`	`TYPELPAR`
`\|`	`ITEMLPAR`
`\|`	`NUMERICLPAR`
`\|`	`ANYSTRINGLPAR`
`\|`	`ELEMENT`
`\|`	`ATTRIBUTE`
`\|`	`DOCUMENT`
`\|`	`TYPE`
`\|`	`NONE`
`\|`	`QUESTION`
`\|`	`NODE`
`\|`	`ITEM`
`\|`	`TEXT`
`\|`	`PROCESSINGINSTRUCTION`
`\|`	`COMMENT`
`\|`	`ASCENDING`
`\|`	`DESCENDING`
`\|`	`EMPTY`
`\|`	`GREATEST`
`\|`	`LEAST`
`\|`	`OR`
`\|`	`AND`
`\|`	`STAR`
`\|`	`MULT`
`\|`	`DIV`
`\|`	`IDIV`
`\|`	`MOD`
`\|`	`MINUS`
`\|`	`PLUS`
`\|`	`STARNCNAME of Namespace_names.ncname`
`\|`	`NCNAMESTAR of Namespace_names.ncname`
`\|`	`IN`
`\|`	`SATISFIES`
`\|`	`RETURN`
`\|`	`THEN`
`\|`	`ELSE`
`\|`	`TO`
`\|`	`WHERE`
`\|`	`INTERSECT`
`\|`	`UNION`
`\|`	`EXCEPT`
`\|`	`PRECEDES`
`\|`	`FOLLOWS`
`\|`	`CASE`
`\|`	`INSTANCEOF`
`\|`	`DEFAULT`
`\|`	`IFLPAR`
`\|`	`TYPESWITCHLPAR`
`\|`	`STABLEORDERBY`
`\|`	`ORDERBY`
`\|`	`ASSERTAS`
`\|`	`CASTAS`
`\|`	`CASTABLEAS`
`\|`	`TREATAS`
`\|`	`VALIDATELCURLY`
`\|`	`VALIDATESTRICTLCURLY`
`\|`	`VALIDATELAXLCURLY`
`\|`	`ORDEREDCURLY`
`\|`	`UNORDEREDCURLY`
`\|`	`SOMEDOLLAR`
`\|`	`EVERYDOLLAR`
`\|`	`FORDOLLAR`
`\|`	`LETDOLLAR`
`\|`	`AS`
`\|`	`AT`
`\|`	`DELETENODE`
`\|`	`INSERTNODE`
`\|`	`RENAMENODE`
`\|`	`REPLACENODE`
`\|`	`REPLACEVALUEOFNODE`
`\|`	`ASFIRST`
`\|`	`ASLAST`
`\|`	`INTO`
`\|`	`BEFORE`
`\|`	`AFTER`
`\|`	`WITH`
`\|`	`COPYDOLLAR`
`\|`	`MODIFY`
`\|`	`COPYLCURLY`
`\|`	`SNAPLCURLY`
`\|`	`SNAPLCURLYORDERED`
`\|`	`SNAPDELETENODE`
`\|`	`SNAPINSERTNODE`
`\|`	`SNAPRENAMENODE`
`\|`	`SNAPREPLACENODE`
`\|`	`SNAPREPLACEVALUEOFNODE`
`\|`	`WHILELPAR`
`\|`	`LETVARDOLLAR`
`\|`	`SETDOLLAR`
`\|`	`DECLAREDOLLAR`
`\|`	`NCNAME of Namespace_names.ncname`
`\|`	`QNAME of Namespace_names.uqname`
`\|`	`VARNAME of Namespace_names.uqname`
`\|`	`QNAMEPLUS of Namespace_names.uqname`
`\|`	`QNAMESTAR of Namespace_names.uqname`
`\|`	`QNAMEQUESTION of Namespace_names.uqname`
`\|`	`AXIS of Xquery_common_ast.axis`
`\|`	`PROCESSINGINSTRUCTIONLPAR`
`\|`	`COMMENTLPAR`
`\|`	`NODELPAR`
`\|`	`DECIMAL of Decimal._decimal`
`\|`	`INT of Decimal._integer`
`\|`	`DOUBLE of float`
`\|`	`STRING of string`
`\|`	`COLON`
`\|`	`SLASH`
`\|`	`SLASHSLASH`
`\|`	`DOT`
`\|`	`DOTDOT`
`\|`	`EQ`
`\|`	`EQUALS`
`\|`	`NE`
`\|`	`NOTEQUALS`
`\|`	`IS`
`\|`	`LTE`
`\|`	`GTE`
`\|`	`LTEQUALS`
`\|`	`GTEQUALS`
`\|`	`COLONEQUALS`
`\|`	`LTOP`
`\|`	`GTOP`
`\|`	`LT`
`\|`	`GT`
`\|`	`BAR`
`\|`	`ATSIGN`
`\|`	`COMMA`
`\|`	`AMPERSAND`
`\|`	`SEMICOLON`
`\|`	`LPAR`
`\|`	`RPAR`
`\|`	`IRPAR`
`\|`	`RPARSTAR`
`\|`	`RPARPLUS`
`\|`	`RPARQUESTION`
`\|`	`LBRACK`
`\|`	`RBRACK`
`\|`	`LCURLY`
`\|`	`RCURLY`
`\|`	`DOLLAR`
`\|`	`FUNCTIONNAMELPAR of Namespace_names.uqname`
`\|`	`LETSERVER`
`\|`	`IMPLEMENT`
`\|`	`FROMSERVER`
`\|`	`ATSERVER`
`\|`	`FORSERVER`
`\|`	`BOX`
`\|`	`EVALCLOSURE`
`\|`	`DO`
`\|`	`EOF`

val statement : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> Xquery_ast.statement

val prolog : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Xquery_ast.prolog

val xquerymodule : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Xquery_ast.xmodule

val librarymodule : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> Xquery_ast.library_module

val mainmodule : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> Xquery_ast.main_module

val interface : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> Xquery_ast.interface

val extype : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> Xquery_type_ast.xtype option * Xquery_type_ast.xtype

val stringlit : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> string