type Work

minebender-game@1.0.0.0 · game.bend:210

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

210# A cell queued by the flood, with the path that reached it from the cell
211# first opened, newest step first (kept only so the proofs can name it).
212type Work is Data:
213  Work{c: T.Pos, back: List<&2, T.Pos>}