minebender-game@1.0.0.0 · proof_cells.bend:255
import minebender-game@1.0.0.0/proof_cells.bend as ProofCells
import Base 255type WH is Data: 256 WH{w: Nat, h: Nat}