def row_cells

minebender-game@1.0.0.0 · board.bend:38

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

38def row_cells(+y: Nat, xs: List<&2, Nat>) -> List<&2, T.Pos>:
39  match xs:
40    case Nil{}:
41      Nil{}
42    case x <> t:
43      T.Pos{x, y} <> row_cells(y, t)