def or_else

bolt@1.27.0.0 · src/lazy/lazy.bend:26

import Base

26# True when a, else what rest gives: `or` that stops at the first True
27def or_else(aa: Bool, rest: Unit -> Bool) -> Bool:
28  match aa:
29    case True{}:
30      True{}
31    case False{}:
32      rest(Unit{})