def text.any

ezsys@0.1.0.0 · src/text.bend:164

import Base

164# true when here is true, else what the rest says
165def text.any(here: Bool, rest: Unit -> Bool) -> Bool:
166  match here:
167    case True{}:
168      True{}
169    case False{}:
170      rest(Unit{})