sig
  val simplify_one_ty :
    Xquery_type_core_ast.cxschema ->
    Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype * bool
  val simplify_ty :
    Xquery_type_core_ast.cxschema ->
    Xquery_type_core_ast.cxtype -> Xquery_type_core_ast.cxtype
end