def cells

minebender-game@1.0.0.0 · LAWS.bend:67

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

67# Every cell of a w-by-h board, row by row.
68def cells(w: Nat, h: Nat) -> List<&2, T.Pos>:
69  cells.go(w, List.range(h))

Uses (5)

Used by (9)