sig
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
end