def flagged

minebender-game@1.0.0.0 · game.bend:33

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

33def flagged(g: Game, +p: T.Pos) -> Bool:
34  match g:
35    case Game{w, h, layout, shown, flags, status}:
36      unrevealed(w, h, shown, p) && B.contains(flags, p)