type Loss

minebender-game@1.0.0.0 · types.bend:34

import Base

34# Why a game was lost: the player revealed the mine at p, or pressed the assist
35# while `safe` could have been revealed without guessing.
36type Loss is Data:
37  Exploded{p: Pos}
38  AssistTooEarly{safe: Pos}