A timer that sends message to its entity at at, a whole millisecond: a step whose work holds a timer due
between two milliseconds is a defect (decision 0266). Message is const, so that a message's tag stays its literal
where nothing gives the call a type to infer from, as in a branch of Match.valueTags. work checks it against
the program's internal messages. const also makes an array a readonly tuple, which a mutable array of
Schema.mutable does not take, so a program with one writes timer<Internal>(…) (decision 0181).
A timer that sends
messageto its entity atat, a whole millisecond: a step whose work holds a timer due between two milliseconds is a defect (decision 0266).Messageisconst, so that a message's tag stays its literal where nothing gives the call a type to infer from, as in a branch ofMatch.valueTags.workchecks it against the program's internal messages.constalso makes an array a readonly tuple, which a mutable array ofSchema.mutabledoes not take, so a program with one writestimer<Internal>(…)(decision 0181).