Module Xquery_type_ast

module Xquery_type_ast: sig .. end

type stype_specifier = {
   pstype_specifier_desc : stype_specifier_desc;
   pstype_specifier_loc : Finfo.finfo;
}
type stype_specifier_desc = 
| STypeRef of Xquery_common_ast.tname
| SAnonymous of stype_derivation
type stype_derivation = 
| SRestriction of stype_specifier
| SList of stype_specifier
| SUnion of stype_specifier list
type deriv = 
| TRestriction of Xquery_common_ast.tname
| TExtension of Xquery_common_ast.tname
type xtype = {
   pxtype_desc : xtype_desc;
   pxtype_loc : Finfo.finfo;
}
type xtype_desc = 
| TAtomicRef of Xquery_common_ast.tname
| TAttributeRef of Xquery_common_ast.aname
| TAttributeLocal of Xquery_common_ast.aname * stype_specifier
| TElementRef of Xquery_common_ast.ename
| TElementLocal of Xquery_common_ast.ename * Xquery_common_ast.nillable
* xtype_specifier
| TDocument of xtype
| TText
| TProcessingInstruction
| TComment
| TGroupRef of Xquery_common_ast.gname
| TAttrGroupRef of Xquery_common_ast.gname
| TBound of xtype * Occurrence.occurs * Occurrence.occurs
| TSequence of xtype * xtype
| TEmpty
| TChoice of xtype * xtype
| TNone
| TInterleave of xtype * xtype
type xtype_specifier = 
| TSpecSimple of stype_specifier
| TSpecComplex of ctype_specifier
type ctype_specifier = {
   pctype_specifier_desc : ctype_specifier_desc;
   pctype_specifier_loc : Finfo.finfo;
}
type ctype_specifier_desc = 
| TTypeRef of Xquery_common_ast.tname
| TAnonymous of ctype_derivation
type ctype_derivation = deriv option * xtype option *
Xquery_common_ast.mixed * xtype
type xtype_derivation = 
| TComplexDerivation of ctype_derivation
| TSimpleDerivation of stype_derivation
type substitutes_for = 
| TSubstitutesFor of Xquery_common_ast.ename
| TNonSubstitutesFor
type xelem_derivation = substitutes_for * Xquery_common_ast.nillable *
xtype_specifier
type xtype_declaration = {
   pxtype_declaration_desc : xtype_declaration_desc;
   pxtype_declaration_loc : Finfo.finfo;
}
type xtype_declaration_desc = 
| TAttributeDecl of Xquery_common_ast.aname * stype_specifier
| TElementDecl of Xquery_common_ast.ename * xelem_derivation
| TTypeDecl of Xquery_common_ast.tname * xtype_derivation
| TGroupDecl of Xquery_common_ast.gname * xtype
| TAttrGroupDecl of Xquery_common_ast.gname * xtype
type xschema = {
   xschema_imported_schemas : xschema list;
   xschema_namespace_declarations : Xquery_common_ast.namespace_declaration list;
   xschema_type_declarations : xtype_declaration list;
}