Module Subtyping_top

module Subtyping_top: sig .. end

val is_subtype_of : Xquery_type_core_ast.cxschema ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype -> bool

val intersects_with : Xquery_type_core_ast.cxschema ->
       Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_anynumeric : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_anystring : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_anyatomic : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_anyatomic_optional : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_anyatomic_sequence : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_empty_sequence : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_empty_choice : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_anynode : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_anynode_sequence : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_anynode_plus : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_document : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_element : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_attribute : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_comment : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_processing_instruction : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool

val is_subtype_of_text : Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> bool