type Action

minebender-game@1.0.0.0 · types.bend:26

import Base

26# What the player can do. The assist carries a random number, which picks
27# the cell it opens when the player is stuck.
28type Action is Data:
29  Reveal{p: Pos}
30  Chord{p: Pos}
31  Flag{p: Pos}
32  Assist{k: Nat}