law at_set_on

minebender-game@1.0.0.0 · proof_flood.bend:302

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

302law at_set_on:
303  for +w: Nat
304  for +h: Nat
305  for +shown: T.Grid(Bool)
306  for +c: T.Pos
307  for +sh: {B.shaped(Bool, w, h, shown) == True{} : Bool}
308  for on: {B.on_board(w, h, c) == True{} : Bool}
309  {B.at(Bool, False{}, B.set_at(Bool, shown, c, True{}), c) == True{} : Bool}