~/jendhub

def once

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

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

175def once(+r: Sh) -> Act.of(U32):
176  do ActM<U32>:
177    s : Step <- one_tick(r, T.fresh_mem(), False{})
178    return 0

Uses (10)

Used by (1)