Rank.elig: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/rank.bend as Rank
Lines 271-275 of cswap-bend-cli@0.1.0.0/policy/rank.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/rank.bend&start_line=271&end_line=275

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/usage.bend as U

# The headroom of a candidate that may be chosen, or None.
def elig(+a: T.Account, +s: Sel) -> Maybe<&2, Nat>:
  match s:
    case Sel{active, bar, need, us, now, ms}:
      sel.ok(target.base(a, active, bar), U.usage.of(U.account.slot(a), us), now, ms)

Uses (8):
  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=cswap-bend-cli@0.1.0.0/policy/rank.bend&name=Sel
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/rank.bend&name=sel.ok
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/rank.bend&name=target.base
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Account
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&name=account.slot
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&name=usage.of