law blank_shaped

minebender-game@1.0.0.0 · proof_lists.bend:416

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

416law blank_shaped:
417  for -A: Data
418  for +w: Nat
419  for +h: Nat
420  for +v: A
421  {B.shaped(A, w, h, B.blank(A, w, h, v)) == True{} : Bool}