def known.or

ezmcp@0.1.0.0 · src/server.bend:178

import Base

178# true at a hit, else the rest of the search
179def known.or(hit: Bool, rest: Unit -> Bool) -> Bool:
180  match hit:
181    case True{}:
182      True{}
183    case False{}:
184      rest(Unit{})