def applied

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

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/apply.bend as Ap
import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk

95def applied(+o: Tk.Out, c: Dc.Ctx, d: Dc.Dec) -> Act.of(Tk.Out):
96  do ActM<Tk.Out>:
97    res : Dc.TickRes <- Ap.apply(c, d)
98    return merged(o, res)