law unrev_hidden

minebender-game@1.0.0.0 · proof_flood.bend:258

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

258law unrev_hidden:
259  for +w: Nat
260  for +h: Nat
261  for +shown: T.Grid(Bool)
262  for +c: T.Pos
263  for e: {G.unrevealed(w, h, shown, c) == True{} : Bool}
264  {B.at(Bool, False{}, shown, c) == False{} : Bool}