The possible keys are 'waived', 'onDemand', and 'afterDeadline'.
timer and deadline only are used for the afterDeadline key.
The possible records are:
{ waived: null }{ onDemand: null }{ afterDeadline: { timer :Timer<Deadline>, deadline :Deadline } }
The possible keys are 'waived', 'onDemand', and 'afterDeadline'.
timeranddeadlineonly are used for theafterDeadlinekey. The possible records are:{ waived: null }{ onDemand: null }{ afterDeadline: { timer :Timer<Deadline>, deadline :Deadline } }