def neighbours

minebender-game@1.0.0.0 · LAWS.bend:79

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

79# The cells of the board adjacent to p, row by row.
80def neighbours(w: Nat, h: Nat, p: T.Pos) -> List<&2, T.Pos>:
81  touching(p, cells(w, h))