def first_safe

minebender-game@1.0.0.0 · game.bend:417

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

417# The first safe cell of ps that is not revealed yet.
418def first_safe(+layout: T.Grid(Bool), +shown: T.Grid(Bool), +ps: List<&2, T.Pos>) ->
419  Maybe<&2, T.Pos>:
420  first_safe.go(ps, safe_here(layout, shown, ps), layout, shown)