law rep_wide

minebender-game@1.0.0.0 · proof_lists.bend:397

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

397law rep_wide:
398  for -A: Data
399  for +w: Nat
400  for +h: Nat
401  for +v: A
402  {B.rows_wide(A, w, List.replicate(List<&2, A>, h, List.replicate(A, w, v))) == True{} : Bool}