type Level

minebender-game@1.0.0.0 · types.bend:45

import Base

45# A board size and mine count, as in Windows XP's Game menu.
46type Level is Data:
47  Beginner{}
48  Intermediate{}
49  Expert{}
50  Custom{w: Nat, h: Nat, mines: Nat}