Module Xquery_type_core_ast

module Xquery_type_core_ast: sig .. end

type csubstitutes_for =

`\|`	`CSubstitutesFor of Namespace_symbols.relem_symbol`
`\|`	`CNonSubstitutesFor`

type cxtype = {

	`mutable pcxtype_desc : cxtype_desc;`
	`mutable pcxtype_simplified : bool;`
	`pcxtype_loc : Finfo.finfo;`

}

type cxtype_desc =

`\|`	`CAtomicRef of Namespace_symbols.rtype_symbol`
`\|`	`CElementRef of Namespace_symbols.relem_symbol`
`\|`	`CAttributeRef of Namespace_symbols.rattr_symbol`
`\|`	`CElementLocal of Namespace_symbols.relem_symbol * Xquery_common_ast.nillable * Namespace_symbols.rtype_symbol`
`\|`	`CAttributeLocal of Namespace_symbols.rattr_symbol * Namespace_symbols.rtype_symbol`
`\|`	`CDocument of cxtype`
`\|`	`CText`
`\|`	`CPI of string option`
`\|`	`CComment`
`\|`	`CBound of cxtype * Occurrence.occurs * Occurrence.occurs`
`\|`	`CSequence of cxtype * cxtype`
`\|`	`CEmpty`
`\|`	`CChoice of cxtype * cxtype`
`\|`	`CNone`
`\|`	`CInterleave of cxtype * cxtype`

type cxtype_derivation = Namespace_symbols.rtype_symbol * cattribute_content *
       cchildren_content

type celem_derivation = csubstitutes_for * Xquery_common_ast.nillable *
       Namespace_symbols.rtype_symbol

type cattr_derivation = Namespace_symbols.rtype_symbol

type cattribute_content = cxtype option

type cchildren_content =

`\|`	`CComplexTypeRestriction of Xquery_common_ast.mixed * cxtype`
`\|`	`CComplexTypeExtension of Xquery_common_ast.mixed * cxtype`
`\|`	`CAtomicTypeRestriction`
`\|`	`CSimpleTypeList of Namespace_symbols.rtype_symbol`
`\|`	`CSimpleTypeUnion of Namespace_symbols.rtype_symbol list`

type celem_declaration = Namespace_symbols.relem_symbol * celem_derivation

type cattr_declaration = Namespace_symbols.rattr_symbol * cattr_derivation

type ctype_declaration = {

	`ctypedecl_name : Namespace_symbols.rtype_symbol;`
	`ctypedecl_deriv : cxtype_derivation;`
	`mutable ctypedecl_cxtype : cxtype option;`

}

type cxschema = {

	`cxschema_letter_mappings : Xquery_type_core_ast_annotation.letter_mappings;`
	`cxschema_element_declarations : celem_declaration Namespace_symbols_util.SQNameHashtbl.t;`
	`cxschema_attribute_declarations : cattr_declaration Namespace_symbols_util.SQNameHashtbl.t;`
	`cxschema_type_declarations : ctype_declaration Namespace_symbols_util.SQNameHashtbl.t;`

}