def done_with

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

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

179def done_with(w: W, +tr: Trail, +o: Tk.Out, c: Dc.Ctx, d: Dc.Dec) -> Act.of(Move):
180  do ActM<Move>:
181    r : Tk.Out <- applied(with_events(lead_of(tr, o), trail_events(tr)), c, d)
182    return MDone{r}