def and.then

ezmcp@0.1.0.0 · src/openapi.bend:57

import Base

57# false at a miss, else the rest of the check
58def and.then(ok: Bool, rest: Unit -> Bool) -> Bool:
59  match ok:
60    case True{}:
61      rest(Unit{})
62    case False{}:
63      False{}