module Xquery_type_core_ast:sig
..end
type
csubstitutes_for =
| |
CSubstitutesFor of |
| |
CNonSubstitutesFor |
type
cxtype = {
|
mutable pcxtype_desc : |
|
mutable pcxtype_simplified : |
|
pcxtype_loc : |
type
cxtype_desc =
| |
CAtomicRef of |
| |
CElementRef of |
| |
CAttributeRef of |
| |
CElementLocal of |
| |
CAttributeLocal of |
| |
CDocument of |
| |
CText |
| |
CPI of |
| |
CComment |
| |
CBound of |
| |
CSequence of |
| |
CEmpty |
| |
CChoice of |
| |
CNone |
| |
CInterleave of |
typecxtype_derivation =
Namespace_symbols.rtype_symbol * cattribute_content *
cchildren_content
typecelem_derivation =
csubstitutes_for * Xquery_common_ast.nillable *
Namespace_symbols.rtype_symbol
typecattr_derivation =
Namespace_symbols.rtype_symbol
typecattribute_content =
cxtype option
type
cchildren_content =
| |
CComplexTypeRestriction of |
| |
CComplexTypeExtension of |
| |
CAtomicTypeRestriction |
| |
CSimpleTypeList of |
| |
CSimpleTypeUnion of |
typecelem_declaration =
Namespace_symbols.relem_symbol * celem_derivation
typecattr_declaration =
Namespace_symbols.rattr_symbol * cattr_derivation
type
ctype_declaration = {
|
ctypedecl_name : |
|
ctypedecl_deriv : |
|
mutable ctypedecl_cxtype : |
type
cxschema = {
|
cxschema_letter_mappings : |
|
cxschema_element_declarations : |
|
cxschema_attribute_declarations : |
|
cxschema_type_declarations : |