def round

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

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

346def round(+r: Run, +mem: T.Mem, +checked: Bool) -> Act.of(Tk.Out):
347  do ActM<Tk.Out>:
348    +r2 : Run <- refresh(r)
349    +o : Tk.Out <- tick_tagged(r2, mem, checked)
350    settle(r2, o)
351    return o