Module Xquery_type_core_ast_util

module Xquery_type_core_ast_util: sig .. end

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