def and_then

bolt@1.26.0.0 · src/lazy/lazy.bend:34

import Base

34# what rest gives when a, else False: `and` that stops at the first False
35def and_then(aa: Bool, rest: Unit -> Bool) -> Bool:
36  match aa:
37    case True{}:
38      rest(Unit{})
39    case False{}:
40      False{}