type Tile

minebender-game@1.0.0.0 · types.bend:55

import Base

55# What one cell looks like on screen.
56type Tile is Data:
57  Covered{}
58  Flagged{}
59  Number{n: Nat}
60  Blast{}
61  Mine{}
62  BadFlag{}
63  Hint{}