def hidden

minebender-game@1.0.0.0 · game.bend:322

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

322def hidden(v: T.Knowledge, +p: T.Pos) -> Bool:
323  match v:
324    case T.Knowledge{w, h, n, rows}:
325      B.on_board(w, h, p) && is_hidden(B.at(T.Seen, T.Hidden{}, rows, p))