~/jendhub

def tick_tagged

cswap-bend-cli@0.1.0.0 · daemon/auto.bend:341

import cswap-bend-cli@0.1.0.0/daemon/auto.bend as Auto
import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk

341def tick_tagged(+r: Run, +mem: T.Mem, +checked: Bool) -> Act.of(Tk.Out):
342  do ActM<Tk.Out>:
343    +o : Tk.Out <- tick_safe(env_of(r, mem, checked))
344    return tagged(r, o)

Uses (11)

Used by (1)