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'.
timer
anddeadline
only are used for theafterDeadline
key. The possible records are:{ waived: null }
{ onDemand: null }
{ afterDeadline: { timer :Timer<Deadline>, deadline :Deadline } }