def bare.all.step

emerging-eztoml@0.9.0.0 · main.bend:177

import Base

177# one step of the bare-key walk, with the head's answer in hand
178def bare.all.step(here: Bool, rest: Unit -> Bool) -> Bool:
179  match here:
180    case True{}:
181      rest(Unit{})
182    case False{}:
183      False{}