def tall

minebender-game@1.0.0.0 · proof_speed.bend:223

import Base
import minebender-game@1.0.0.0/solver.bend as S

223# Every todo of ts passes f (with e for f's context).
224def tall(~E: Data, ~f: E -> S.Todo -> Bool, +e: E, ts: List<&2, S.Todo>) -> Bool:
225  match ts:
226    case Nil{}:
227      True{}
228    case t <> rest:
229      f(e, t) && tall(~E, ~f, e, rest)