def agrees_all

minebender-game@1.0.0.0 · LAWS.bend:157

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

157def agrees_all(+w: Nat, +h: Nat, +rows: T.Grid(T.Seen), +layout: T.Grid(Bool),
158  ps: List<&2, T.Pos>) -> Bool:
159  match ps:
160    case Nil{}:
161      True{}
162    case +p <> t:
163      agrees(w, h, layout, p, at(T.Seen, T.Hidden{}, rows, p))
164        && agrees_all(w, h, rows, layout, t)