~/jendhub

def forever

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

import cswap-bend-cli@0.1.0.0/daemon/shadow.bend as Shadow
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

183@unsafe def forever(+r: Sh, mem: T.Mem, checked: Bool) -> Act.of(U32):
184  do ActM<U32>:
185    +s : Step <- one_tick(r, mem, checked)
186    nap(sh_interval(r))
187    forever(r, step_mem(s), step_checked(s))

Uses (14)

Used by (1)