def octs.has.step

emerging-ezhttp@0.21.0.0 · src/http.bend:228

import Base

228# one step of the count: a character wider than what is still asked for
229# means the string is longer
230def octs.has.step(short: Bool, rest: Unit -> Bool) -> Bool:
231  match short:
232    case True{}:
233      True{}
234    case False{}:
235      rest(Unit{})