def exhausted_dec

cswap-bend-cli@0.1.0.0 · daemon/tick.bend:119

import Base
import cswap-bend-cli@0.1.0.0/daemon/dec.bend as Dc

119def exhausted_dec(+e: Maybe<&2, Nat>) -> Dc.Dec:
120  Dc.DExhausted{opt_secs(e)}