def allp

minebender-game@1.0.0.0 · proof_cells.bend:11

import Base
import minebender-game@1.0.0.0/types.bend as T

11# Every cell of ps passes f (with e for f's context).
12def allp(~E: Data, ~f: E -> T.Pos -> Bool, +e: E, ps: List<&2, T.Pos>) -> Bool:
13  match ps:
14    case Nil{}:
15      True{}
16    case q <> t:
17      f(e, q) && allp(~E, ~f, e, t)