type Setup

minebender-game@1.0.0.0 · types.bend:52

import Base

52type Setup is Data:
53  Setup{w: Nat, h: Nat, mines: Nat}