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 =
type
complex_kind = Xquery_type_core_ast.cxtype
type
content_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