sig
  val fmkcxtype :
    Xquery_type_core_ast.cxtype_desc ->
    Finfo.finfo -> Xquery_type_core_ast.cxtype
  val fmkcxtype_builtin :
    Xquery_type_core_ast.cxtype_desc -> Xquery_type_core_ast.cxtype
  val fmkctype_decl :
    Namespace_symbols.rtype_symbol ->
    Xquery_type_core_ast.cxtype_derivation ->
    Xquery_type_core_ast.cxtype option ->
    Xquery_type_core_ast.ctype_declaration
  val fmkcxschema :
    Xquery_type_core_ast.celem_declaration list ->
    Xquery_type_core_ast.cattr_declaration list ->
    Xquery_type_core_ast.ctype_declaration list ->
    Xquery_type_core_ast.cxschema
  val merge_cxschema :
    Xquery_type_core_ast.cxschema ->
    Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxschema
  val merge_cxschemas :
    Xquery_type_core_ast.cxschema list -> Xquery_type_core_ast.cxschema
  val make_mappings :
    Xquery_type_core_ast_annotation.letter_mappings ->
    Xquery_type_core_ast.cxtype -> unit
  val is_empty_cxtype : Xquery_type_core_ast.cxtype -> bool
  val is_none_cxtype : Xquery_type_core_ast.cxtype -> bool
  val is_atomic_cxtype : Xquery_type_core_ast.cxtype -> bool
  val is_node_cxtype : Xquery_type_core_ast.cxtype -> bool
  val is_document_cxtype : Xquery_type_core_ast.cxtype -> bool
  val is_element_cxtype : Xquery_type_core_ast.cxtype -> bool
  val is_attribute_cxtype : Xquery_type_core_ast.cxtype -> bool
end