law items_agrees

minebender-game@1.0.0.0 · proof_solver.bend:1384

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/solver.bend as S
import minebender-game@1.0.0.0/LAWS.bend as L

1384law items_agrees:
1385  for +w: Nat
1386  for +h: Nat
1387  for +rows: T.Grid(T.Seen)
1388  for +layout: T.Grid(Bool)
1389  for +ps: List<&2, T.Pos>
1390  {S.items_ok(S.items(w, h, rows, ps), layout) == L.agrees_all(w, h, rows, layout, ps) : Bool}