def digits.and

ezmcp@0.1.0.0 · src/rpc.bend:43

import Base

43# the rest of a test that holds so far: false once one char fails
44def digits.and(ok: Bool, rest: Unit -> Bool) -> Bool:
45  match ok:
46    case True{}:
47      rest(Unit{})
48    case False{}:
49      False{}