def one_tick

cswap-bend-cli@0.1.0.0 · daemon/shadow.bend:169

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/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/daemon/gather.bend as G

169def one_tick(+r: Sh, +mem: T.Mem, +checked: Bool) -> Act.of(Step):
170  do ActM<Step>:
171    +t : U32 <- Act.lift(U32, Clock.now_s())
172    m : Maybe<&2, G.Snap> <- G.snapshot(sh_ctx(r))
173    emit(r, shadow_step(sh_env(r, mem, checked), t, m))