law on_edges

minebender-game@1.0.0.0 · proof_assist.bend:164

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

164law on_edges:
165  for +w: Nat
166  for +h: Nat
167  for +shown: T.Grid(Bool)
168  for +ps: List<&2, T.Pos>
169  for +on: {PS.allp(~PS.WH, ~PS.onb, PS.WH{w, h}, ps) == True{} : Bool}
170  {PS.allp(~PS.WH, ~PS.onb, PS.WH{w, h}, G.edges(w, h, shown, ps)) == True{} : Bool}