Changes between Version 83 and Version 84 of IR2

Timestamp:

05/12/21 07:11:50 (5 years ago)

Author:

Alex Wilton

Comment:

--

IR2

@@ -359 +359 @@
 <K,V> $map<K,V> $map_add( $map<K,V> m, K k, V v ); // result of (re)defining k to map to v.
 <K,V> $map<K,V> $map_add( $map<K,V> m, $set<$pair<K,V>> kvs); // result of (re)defining k to map to v for every pair (k,v) in kvs
+
 <K,V> $map<K,V> $map_remove( $map<K,V> m, K k ); // result of declaring k undefined
 <K,V> $map<K,V> $map_remove( $map<K,V> m, $set<K> ks ); // result of declaring k undefined for every k in ks
+
 <K,V> $bool $map_contains( $map<K,V> m, K k ); // is k defined in the map?
 <K,V> V $map_get( $map<K,V> m, K k ); // get the value defined at k. Should check $map_contains first (what do we do when k is not defined?)