~/jendhub

def settle

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

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

336def settle(r: Run, +o: Tk.Out) -> Act.of(Unit):
337  do ActM<Unit>:
338    now : U32 <- Act.lift(U32, Clock.now_s())
339    pace(r, o, now)

Uses (10)

Used by (1)