law bridge_canon

minebender-game@1.0.0.0 · proof_laws.bend:240

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/LAWS.bend as L

240law bridge_canon:
241  for +w: Nat
242  for +h: Nat
243  for +layout: T.Grid(Bool)
244  for +shown: T.Grid(Bool)
245  for +flags: List<&2, T.Pos>
246  for +status: T.Status
247  for shape: {L.shaped(Bool, w, h, layout) == True{} : Bool}
248  {L.consistent(G.knowledge(G.Game{w, h, layout, shown, flags, status}), layout) == True{} : Bool}