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