type Seen

minebender-game@1.0.0.0 · types.bend:14

import Base

14# What the player sees in one cell. Flags are not here: they are the player's
15# beliefs, not knowledge.
16type Seen is Data:
17  Hidden{}
18  Shown{n: Nat}
19  Boom{}