def works

minebender-game@1.0.0.0 · game.bend:223

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

223# The cells ns, each reached one step past `back`.
224def works(ns: List<&2, T.Pos>, +back: List<&2, T.Pos>) -> List<&2, Work>:
225  match ns:
226    case Nil{}:
227      Nil{}
228    case +r <> t:
229      Work{r, r <> back} <> works(t, back)