def policy_with
cswap-bend-cli@0.1.0.0 · pollrow.bend:203
import cswap-bend-cli@0.1.0.0/pollrow.bend as Pollrow
import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as PT
import cswap-bend-cli@0.1.0.0/poll.bend as Poll
203def policy_with(+u: PT.Usage, +fetched: Maybe<&2, U32>, +bu: Maybe<&2, U32>, +le: Maybe<&2, String>, +nf: U32, +np: Maybe<&2, U32>, +iv: Maybe<&2, U32>, +st: U32, +hu: Maybe<&2, U32>, +lease: Nat) -> PT.Usage:
204 match u:
205 case PT.Usage{slot, five, fr, seven, sr, ss, fa, bo, er, nfl, npp, pi, ad, hh, cc, se}:
206 PT.Usage{slot, five, fr, seven, sr, ss, Poll.nat_maybe(fetched), nat0(bu), kind_of_err(le), U32.to_nat(nf), Poll.nat_maybe(np), nat0(iv), U32.to_nat(st), nat0(hu), lease, PT.NoSentinel{}}