def blanks.step

ezx@1.11.0.0 · src/pub/plan.bend:131

import ezx@1.11.0.0/src/pub/plan.bend as Plan
import Base

131# one line of the other walk, the same way round
132def blanks.step(blank: Bool, rest: Unit -> Bool) -> Bool:
133  match blank:
134    case True{}:
135      rest(Unit{})
136    case False{}:
137      False{}

Uses (2)

Used by (1)