Return a key for use when checking consistency of this update with other updates.
Return a key for use when checking consistency of this update with other updates. Must uniquely determine the state that is being updated.
Perform this update
Return the value to which the state is being updated.
An update of an item of state
s
to have the valuet
.