def shown_of

minebender-game@1.0.0.0 · proof_laws.bend:18

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

18def shown_of(g: G.Game) -> T.Grid(Bool):
19  match g:
20    case G.Game{w, h, layout, shown, flags, status}:
21      shown