def mine

minebender-game@1.0.0.0 · LAWS.bend:26

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

26def mine(layout: T.Grid(Bool), p: T.Pos) -> Bool:
27  at(Bool, False{}, layout, p)