def text.all

ezsys@0.1.0.0 · src/text.bend:172

import Base

172# false when here is false, else what the rest says
173def text.all(here: Bool, rest: Unit -> Bool) -> Bool:
174  match here:
175    case False{}:
176      False{}
177    case True{}:
178      rest(Unit{})