lazy.bend checks
raw source on the hub · import 0xa3c2445eb44c5d8406e6229be518fccb/lazy.bend as Lazy
ezjson/lazy: a branch that does not run both ways. stop takes a when
c, else what rest gives, so a search can return without walking the rest.
1 import
import Base
Definitions
def stop source · line 6 · raw
@-A:Type -> @c:Bool -> @a:A -> @rest:(@_:Unit -> A) -> A
a when c, else what rest gives: the early exit of a search