def safe_here

minebender-game@1.0.0.0 · game.bend:397

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

397# The first cell of ps is safe and not revealed yet.
398def safe_here(+layout: T.Grid(Bool), +shown: T.Grid(Bool), ps: List<&2, T.Pos>) -> Bool:
399  match ps:
400    case Nil{}:
401      False{}
402    case +p <> t:
403      Bool.not(B.mine(layout, p)) && Bool.not(B.at(Bool, False{}, shown, p))