def rows_wide

minebender-game@1.0.0.0 · board.bend:93

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

93def rows_wide(-A: Data, +w: Nat, g: T.Grid(A)) -> Bool:
94  match g:
95    case Nil{}:
96      True{}
97    case r <> t:
98      Nat.is_eq(List.length(&2, A, r), w) && rows_wide(A, w, t)