type WHS

minebender-game@1.0.0.0 · proof_cells.bend:474

import Base
import minebender-game@1.0.0.0/types.bend as T

474type WHS is Data:
475  WHS{w: Nat, h: Nat, s: T.Pos}