def step.missed

emerging-ezhttp@0.21.0.0 · src/step.bend:86

import Base

86# a failed accept once it is known whether its deadline passed
87def step.missed(-A: Type, +why: String, late: Bool) -> Accept<A>:
88  match late:
89    case True{}:
90      Idle{}
91    case False{}:
92      Missed{step.line("accept", why)}