def origin.or

ezmcp@0.1.0.0 · src/web.bend:62

import ezmcp@0.1.0.0/src/web.bend as Web
import Base

62# true at a hit, else the rest of the search
63def origin.or(hit: Bool, rest: Unit -> Bool) -> Bool:
64  match hit:
65    case True{}:
66      True{}
67    case False{}:
68      rest(Unit{})

Uses (2)

Used by (4)