Game.Work: type of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/game.bend as Game
Lines 210-213 of minebender-game@1.0.0.0/game.bend: https://jend.leeeet.dev/read.txt?path=minebender-game@1.0.0.0/game.bend&start_line=210&end_line=213

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

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Pos