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