law cf_zero

minebender-game@1.0.0.0 · proof_flood.bend:316

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

316law cf_zero:
317  for +w: Nat
318  for +h: Nat
319  for +shown: T.Grid(Bool)
320  for +q: T.Pos
321  for +sh: {B.shaped(Bool, w, h, shown) == True{} : Bool}
322  for on: {B.on_board(w, h, q) == True{} : Bool}
323  for z: {0n == B.count_false(shown) : Nat}
324  {B.at(Bool, False{}, shown, q) == True{} : Bool}