module Schema_simplification:sig..end
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