def bare.all.step

ezx@1.11.0.0 · src/toml/toml.bend:135

import Base

135# one step of the walk, with the head's answer in hand. `Bool.and` runs both
136# of its sides, so the first char that a bare key may not hold still cost a
137# walk of the rest of the key.
138def bare.all.step(here: Bool, rest: Unit -> Bool) -> Bool:
139  match here:
140    case True{}:
141      rest(Unit{})
142    case False{}:
143      False{}