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