def shaped

minebender-game@1.0.0.0 · LAWS.bend:115

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

115# g has exactly h rows of exactly w cells.
116def shaped(-A: Data, w: Nat, h: Nat, +g: T.Grid(A)) -> Bool:
117  Nat.is_eq(List.length(&2, List<&2, A>, g), h) && rows_wide(A, w, g)