The type of update: given a message and its meta, a function from the state to the next state or to a rejection. It is pure, and reads time only from meta.at.
update
meta.at
The type of
update: given a message and its meta, a function from the state to the next state or to a rejection. It is pure, and reads time only frommeta.at.