def safe_cell

minebender-game@1.0.0.0 · game.bend:451

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

451def safe_cell(g: Game, +k: Nat) -> Maybe<&2, T.Pos>:
452  match g:
453    case Game{+w, +h, +layout, +shown, flags, status}:
454      first_safe(layout, shown, safe_list(w, h, shown, k))