sig
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
end