law count_sum

minebender-game@1.0.0.0 · proof_solver.bend:55

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/proof_sums.bend as PU

55law count_sum:
56  for +layout: T.Grid(Bool)
57  for +ps: List<&2, T.Pos>
58  {B.count_mines(layout, ps) == PU.csum(~Bool, ~one, False{}, layout, ps) : Nat}