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