diff --git a/map/put.xml b/map/put.xml
index df381827..edd86fbe 100644
--- a/map/put.xml
+++ b/map/put.xml
@@ -290,8 +290,9 @@
- The new entry has the type annotation of the new key
+ The new entry may change the type annotation of the new key
+
{"x":5, "y":6}
@@ -299,19 +300,28 @@
=> map:put(xs:NCName("y"), 60)
=> map:keys()
- xs:NCName+
+
+ xs:string+
+ xs:NCName+
+
- The new entry has the type annotation of the new key
+ The new entry may change the type annotation of the new key
+
- ( {"x":5, "y":6}
- => map:put(xs:NCName("x"), true())
- => map:put(xs:NCName("y"), (false(), false()))
- ) instance of map(xs:NCName, xs:boolean+)
+ let $map := (
+ {"x":5, "y":6}
+ => map:put(xs:NCName("x"), true())
+ => map:put(xs:NCName("y"), (false(), false()))
+ )
+ return (
+ $map instance of map(xs:NCName, xs:boolean+) or
+ $map instance of map(xs:string, xs:boolean+)
+ )