law blank_at

minebender-game@1.0.0.0 · proof_lists.bend:447

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

447law blank_at:
448  for +w: Nat
449  for +h: Nat
450  for +x: Nat
451  for +y: Nat
452  {B.at(Bool, False{}, B.blank(Bool, w, h, False{}), T.Pos{x, y}) == False{} : Bool}