~/jendhub

def exhausted_res

cswap-bend-cli@0.1.0.0 · daemon/dec.bend:64

import cswap-bend-cli@0.1.0.0/daemon/dec.bend as Dec
import Base
import cswap-bend-cli@0.1.0.0/daemon/events.bend as Ev
import cswap-bend-cli@0.1.0.0/daemon/cadence.bend as Cad

64def exhausted_res(+c: Ctx, +earliest: Maybe<&2, U32>) -> TickRes:
65  one(info(Cad.Blocked{}, earliest, False{}, False{}, ctx_np(c)), Ev.all_exhausted(ctx_ts(c), iso_opt(earliest)))

Uses (12)

Used by (1)