def blank

minebender-game@1.0.0.0 · board.bend:113

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

113# A w-by-h grid of v.
114def blank(-A: Data, w: Nat, h: Nat, +v: A) -> T.Grid(A):
115  List.replicate(List<&2, A>, h, List.replicate(A, w, v))