def bare.step

ezx@1.11.0.0 · src/ez/named.bend:66

import Base

66# one char of a key, with the rest still to be asked about. The rest arrives
67# as a thunk, so a char that ends the key ends the walk.
68def bare.step(ok: Bool, rest: Unit -> Bool) -> Bool:
69  match ok:
70    case True{}:
71      rest(Unit{})
72    case False{}:
73      False{}