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