@@ -1067,11 +1067,12 @@ updated):
10671067
10681068 *record> record { firstName = "Jim" } fred
10691069 MkPerson "Jim" "Joe" "Bloggs" 30 : Person
1070− *record> record { firstName = "Jim", age = 20 } fred
1071− MkPerson "Jim" "Joe" "Bloggs" 20 : Person
1070+ *record> record { firstName = "Jim", age $= (+ 1) } fred
1071+ MkPerson "Jim" "Joe" "Bloggs" 31 : Person
10721072
10731073The syntax ``record { field = val, ... }`` generates a function which
1074−updates the given fields in a record.
1074+updates the given fields in a record. ``=`` assigns a new value to a field,
1075+and ``$=`` applies a function to update its value.
10751076
10761077Each record is defined in its own namespace, which means that field names
10771078can be reused in multiple records.