def shaped

minebender-game@1.0.0.0 · board.bend:100

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

100def shaped(-A: Data, w: Nat, h: Nat, +g: T.Grid(A)) -> Bool:
101  Nat.is_eq(List.length(&2, List<&2, A>, g), h) && rows_wide(A, w, g)