module Xquery_type_ast:sig
..end
type
stype_specifier = {
|
pstype_specifier_desc : |
|
pstype_specifier_loc : |
type
stype_specifier_desc =
| |
STypeRef of |
| |
SAnonymous of |
type
stype_derivation =
| |
SRestriction of |
| |
SList of |
| |
SUnion of |
type
deriv =
| |
TRestriction of |
| |
TExtension of |
type
xtype = {
|
pxtype_desc : |
|
pxtype_loc : |
type
xtype_desc =
| |
TAtomicRef of |
| |
TAttributeRef of |
| |
TAttributeLocal of |
| |
TElementRef of |
| |
TElementLocal of |
| |
TDocument of |
| |
TText |
| |
TProcessingInstruction |
| |
TComment |
| |
TGroupRef of |
| |
TAttrGroupRef of |
| |
TBound of |
| |
TSequence of |
| |
TEmpty |
| |
TChoice of |
| |
TNone |
| |
TInterleave of |
type
xtype_specifier =
| |
TSpecSimple of |
| |
TSpecComplex of |
type
ctype_specifier = {
|
pctype_specifier_desc : |
|
pctype_specifier_loc : |
type
ctype_specifier_desc =
| |
TTypeRef of |
| |
TAnonymous of |
typectype_derivation =
deriv option * xtype option *
Xquery_common_ast.mixed * xtype
type
xtype_derivation =
| |
TComplexDerivation of |
| |
TSimpleDerivation of |
type
substitutes_for =
| |
TSubstitutesFor of |
| |
TNonSubstitutesFor |
typexelem_derivation =
substitutes_for * Xquery_common_ast.nillable *
xtype_specifier
type
xtype_declaration = {
|
pxtype_declaration_desc : |
|
pxtype_declaration_loc : |
type
xtype_declaration_desc =
| |
TAttributeDecl of |
| |
TElementDecl of |
| |
TTypeDecl of |
| |
TGroupDecl of |
| |
TAttrGroupDecl of |
type
xschema = {
|
xschema_imported_schemas : |
|
xschema_namespace_declarations : |
|
xschema_type_declarations : |