def neighbours

minebender-game@1.0.0.0 · board.bend:62

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

62def neighbours(w: Nat, h: Nat, p: T.Pos) -> List<&2, T.Pos>:
63  touching(p, cells(w, h))