def after.step

ezx@1.11.0.0 · src/pub/blurb.bend:108

import Base

108# one step of the walk below, with the head's answer in hand; the rest
109# arrives as a thunk, so the first file that comes earlier ends the walk
110def after.step(here: Bool, rest: Unit -> Bool) -> Bool:
111  match here:
112    case True{}:
113      rest(Unit{})
114    case False{}:
115      False{}