~/jendhub

def license.step

ezx@1.11.0.0 · src/pkg/pkg.bend:1158

import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg
import Base

1158# one step of the search, with the head's answer in hand; the rest arrives as
1159# a thunk, so a hit ends the search
1160def license.step(here: Bool, rest: Unit -> Bool) -> Bool:
1161  match here:
1162    case True{}:
1163      True{}
1164    case False{}:
1165      rest(Unit{})

Uses (2)

Used by (1)