module Subtyping_letter: sig
.. end
type
actual_letter =
| |
AtomicTypeLetter of int |
| |
ElementTypeLetter of int |
| |
AttributeTypeLetter of int |
| |
DocumentTypeLetter of int |
| |
PITypeLetter of int |
| |
TextTypeLetter |
| |
|
val compare_letters : actual_letter -> actual_letter -> int
val print_letter : actual_letter -> unit
type
alphabets
val get_names_from_cxtype : Xquery_type_core_ast.cxschema ->
Xquery_type_core_ast.cxtype -> alphabets
val get_names_from_cxtypes : Xquery_type_core_ast.cxschema ->
Xquery_type_core_ast.cxtype ->
Xquery_type_core_ast.cxtype -> alphabets
val expand_wildcards : Xquery_type_core_ast.cxtype ->
alphabets -> Xquery_type_core_ast.cxtype
val letter_of_atomic : Xquery_type_core_ast_annotation.letter_mappings ->
Xquery_type_core_ast.cxschema -> Namespace_symbols.rtype_symbol -> int
val letter_of_element : Xquery_type_core_ast_annotation.letter_mappings ->
Xquery_type_core_ast.cxschema ->
Namespace_symbols.relem_symbol * Namespace_symbols.rtype_symbol option *
Xquery_common_ast.nillable -> int
val letter_of_attribute : Xquery_type_core_ast_annotation.letter_mappings ->
Xquery_type_core_ast.cxschema ->
Namespace_symbols.relem_symbol * Namespace_symbols.rtype_symbol option -> int