def next

cswap-bend-cli@0.1.0.0 · daemon/walk.bend:245

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk

245def next(w: W, tr: Trail, +nx: Tk.Next) -> Act.of(Move):
246  match nx:
247    case Tk.NDone{o}:
248      Act.pure(Move, MDone{lead_of(tr, o)})
249    case Tk.NAct{o, c, d}:
250      on_act(w, tr, o, c, d)