Swpick.select_best: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/swpick.bend as Swpick
Lines 141-148 of cswap-bend-cli@0.1.0.0/swpick.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/swpick.bend&start_line=141&end_line=148

import Base

# `_select_best_switchable`: `others` are the switchable, enabled slots but the
# current one. Switch only to strictly more headroom.
def select_best(+cur: Maybe<&2, U32>, +others: List<&2, Cand>) -> BestOut:
  match others:
    case Nil{}:
      BNote{"none"}
    case Con{o, t}:
      best2(cur, Con{o, t}, best_known(Con{o, t}, Pick{"", 0, False{}}))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swpick.bend&name=BestOut
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swpick.bend&name=Cand
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swpick.bend&name=Pick
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swpick.bend&name=best2
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swpick.bend&name=best_known