def or.else

ezmcp@0.1.0.0 · src/openapi.bend:49

import Base

49# true at a hit, else the rest of the search
50def or.else(hit: Bool, rest: Unit -> Bool) -> Bool:
51  match hit:
52    case True{}:
53      True{}
54    case False{}:
55      rest(Unit{})