The work a state holds, by key. A program's keys are declared, so a state holds work under those and no
others (decision 0033). Under a key with a parameter, the work is a piece for each parameter, as pairs: two
parameters are the same when they encode alike, which a map does not compare by (decision 0132). A key whose
value is undefined holds no work, as a key left out does.
The work a state holds, by key. A program's keys are declared, so a state holds work under those and no others (decision 0033). Under a key with a parameter, the work is a piece for each parameter, as pairs: two parameters are the same when they encode alike, which a map does not compare by (decision 0132). A key whose value is
undefinedholds no work, as a key left out does.