def rows_wide

minebender-game@1.0.0.0 · LAWS.bend:108

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

108def rows_wide(-A: Data, +w: Nat, g: T.Grid(A)) -> Bool:
109  match g:
110    case Nil{}:
111      True{}
112    case r <> t:
113      Nat.is_eq(List.length(&2, A, r), w) && rows_wide(A, w, t)