~/jendhub

def usage_pick

cswap-bend-cli@0.1.0.0 · daemon/view.bend:145

import cswap-bend-cli@0.1.0.0/daemon/view.bend as View
import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

145def usage_pick(+u: T.Usage, +slot: Nat, +rest: Maybe<&2, T.Usage>) -> Maybe<&2, T.Usage>:
146  match u:
147    case T.Usage{+s, five, fr, seven, sr, ss, fa, bo, er, fl, np, pi, ad, hu, cu, se}:
148      sel_mu(Nat.is_eq(s, slot), Some{u}, rest)

Uses (5)

Used by (1)