def tip.step

ezx@1.11.0.0 · src/git/git.bend:163

import Base

163# the rest of the scan only when this row said nothing. A recursive call
164# written as an argument of `Bool.pick` would run for a row that already
165# answered.
166def tip.step(empty: Bool, +got: String, rest: Unit -> String) -> String:
167  match empty:
168    case True{}:
169      rest(Unit{})
170    case False{}:
171      got