type Knowledge

minebender-game@1.0.0.0 · types.bend:21

import Base

21# Everything the player knows: the board is w columns by h rows, it holds
22# `mines` mines in total, and `rows` holds one Seen per cell, row by row.
23type Knowledge is Data:
24  Knowledge{w: Nat, h: Nat, mines: Nat, rows: Grid(Seen)}