law shaped_wide

minebender-game@1.0.0.0 · proof_lists.bend:175

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

175law shaped_wide:
176  for -A: Data
177  for +w: Nat
178  for +h: Nat
179  for +g: T.Grid(A)
180  for sh: {B.shaped(A, w, h, g) == True{} : Bool}
181  {B.rows_wide(A, w, g) == True{} : Bool}