type Game

minebender-game@1.0.0.0 · game.bend:8

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

8# The real mines, the cells revealed so far, the player's flags (any cells;
9# only hidden ones count as flagged) and the status.
10type Game is Data:
11  Game{w: Nat, h: Nat, layout: T.Grid(Bool), shown: T.Grid(Bool),
12    flags: List<&2, T.Pos>, status: T.Status}