law total_cells

minebender-game@1.0.0.0 · proof_solver.bend:581

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

581law total_cells:
582  for +w: Nat
583  for +h: Nat
584  for +l: T.Grid(Bool)
585  for sh: {B.shaped(Bool, w, h, l) == True{} : Bool}
586  {B.total_mines(l) == B.count_mines(l, B.cells(w, h)) : Nat}