Module Subtyping_letter

module Subtyping_letter: sig .. end

type actual_letter =

`\|`	`AtomicTypeLetter of int`
`\|`	`ElementTypeLetter of int`
`\|`	`AttributeTypeLetter of int`
`\|`	`DocumentTypeLetter of int`
`\|`	`PITypeLetter of int`
`\|`	`TextTypeLetter`
`\|`	`CommentTypeLetter`

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