def gaps.step

ezx@1.11.0.0 · src/share/pin.bend:37

import Base

37# this pin's gap when it has one, otherwise the rest's. The rest arrives as a
38# thunk and only the arm that wants it applies it, so the first gap stops the
39# scan.
40def gaps.step(none: Bool, here: String, rest: Unit -> String) -> String:
41  match none:
42    case True{}:
43      rest(Unit{})
44    case False{}:
45      here