Module Schema_util

module Schema_util: sig .. end

val cxtype_empty : Xquery_type_core_ast.cxtype

val cxtype_none : Xquery_type_core_ast.cxtype

val factor_with_units : Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype list * Occurrence.occurs * Occurrence.occurs

val factor : Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype * Occurrence.occurs * Occurrence.occurs

val defactor : Xquery_type_core_ast.cxtype * Occurrence.occurs * Occurrence.occurs ->
       Xquery_type_core_ast.cxtype

val is_xs_anytype : Namespace_symbols.rtype_symbol -> bool

val is_simple_cxtype : Xquery_type_core_ast.cxtype -> bool

val is_really_empty_cxtype : Xquery_type_core_ast.cxtype -> bool

val make_sequence_cxtypes : Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_builtin_sequence_cxtypes : Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_interleave_cxtypes : Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_builtin_interleave_cxtypes : Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_choice_cxtypes : Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_builtin_choice_cxtypes : Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_atomic_type : Xquery_type_core_ast.cxschema ->
       Namespace_symbols_util.SQNameHashtbl.key -> Xquery_type_core_ast.cxtype

val make_builtin_atomic_type : Namespace_symbols.rtype_symbol -> Xquery_type_core_ast.cxtype

val make_optional_type : Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_builtin_optional_type : Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_zeroormore_type : Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_builtin_zeroormore_type : Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_oneormore_type : Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_builtin_oneormore_type : Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype

val make_builtin_opt_attribute_ref : Namespace_symbols.rattr_symbol -> Xquery_type_core_ast.cxtype

val mixed_content : Xquery_type_core_ast.cxtype

val text_content : Xquery_type_core_ast.cxtype

val separate_attributes_from_content : Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype * Xquery_type_core_ast.cxtype

val is_built_in_atomic_type : Xquery_type_core_ast.cxschema -> Namespace_symbols.rtype_symbol -> bool

val list_of_choice : Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype list

val choice_of_list : Xquery_type_core_ast.cxtype list -> Xquery_type_core_ast.cxtype

type simple_kind =

`\|`	`AtomicKind of Namespace_symbols.rtype_symbol`
`\|`	`UnionKind of Namespace_symbols.rtype_symbol list`
`\|`	`ListKind of Namespace_symbols.rtype_symbol list`

type complex_kind = Xquery_type_core_ast.cxtype

type content_kind =

`\|`	`ComplexKind of complex_kind`
`\|`	`SimpleKind of simple_kind`

val extends_attribute_content : Xquery_type_core_ast.cattribute_content ->
       Xquery_type_core_ast.cattribute_content ->
       Xquery_type_core_ast.cattribute_content

val extends_element_content : Xquery_type_core_ast.cxtype ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype