def adj_mines

minebender-game@1.0.0.0 · LAWS.bend:90

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

90# The number a revealed safe cell p must show.
91def adj_mines(w: Nat, h: Nat, layout: T.Grid(Bool), p: T.Pos) -> Nat:
92  count_mines(layout, neighbours(w, h, p))