def stop

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

import Base

18# `a` when c, else what rest gives: the early exit of a search
19def stop(-A: Type, cc: Bool, aa: A, rest: Unit -> A) -> A:
20  match cc:
21    case True{}:
22      aa
23    case False{}:
24      rest(Unit{})