module Schema_norm_util: sig .. end
val check_optional_atomic_type_csequencetype : Xquery_type_core_ast.cxschema -> Xquery_core_ast.csequencetype -> unit
val get_optional_atomic_type_asequencetype : Xquery_type_core_ast.cxschema ->
Xquery_algebra_ast.asequencetype -> Namespace_symbols.rtype_symbol * bool
val atomic_type_of_csequencetype : Xquery_type_core_ast.cxschema ->
Xquery_core_ast.csequencetype -> Datatypes.atomic_type
val is_atomic_type_csequencetype : Xquery_type_core_ast.cxschema -> Xquery_core_ast.csequencetype -> bool
val is_simple_type_csequencetype : Xquery_type_core_ast.cxschema -> Xquery_core_ast.csequencetype -> bool
val is_numeric_type_csequencetype : Xquery_type_core_ast.cxschema -> Xquery_core_ast.csequencetype -> bool