Pollrow.policy_with: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/pollrow.bend as Pollrow
Lines 203-206 of cswap-bend-cli@0.1.0.0/pollrow.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/pollrow.bend&start_line=203&end_line=206

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

def 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:
  match u:
    case PT.Usage{slot, five, fr, seven, sr, ss, fa, bo, er, nfl, npp, pi, ad, hh, cc, se}:
      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{}}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Sentinel
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Usage
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/poll.bend&name=nat_maybe
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/pollrow.bend&name=kind_of_err
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/pollrow.bend&name=nat0