def assist_mono.pick

minebender-game@1.0.0.0 · proof_laws.bend:441

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

441def assist_mono.pick(+r: Maybe<&2, T.Pos>, +g: G.Game, +q: T.Pos, s: {B.at(Bool, False{}, shown_of(g), q) == True{} : Bool}, +k: Nat) ->
442  {B.at(Bool, False{}, shown_of(G.assist.pick(r, g, k)), q) == True{} : Bool}:
443  match r:
444    case Some{x}:
445      match g:
446        case G.Game{w, h, layout, shown, flags, status}:
447          s
448    case None{}:
449      assist_mono.safe(g, q, s, G.safe_cell(g, k))