sig
val normalize :
Namespace_context.nsenv ->
Xquery_type_ast.xschema -> Xquery_type_core_ast.cxschema
val normalize_type :
Namespace_context.nsenv ->
Xquery_type_ast.xschema ->
Xquery_type_ast.xtype -> Xquery_type_core_ast.cxtype
end