Swpick.best_known: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/swpick.bend as Swpick
Lines 98-105 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=98&end_line=105

import Base

def best_known(+cs: List<&2, Cand>, +cur: Pick) -> Pick:
  match cs:
    case Nil{}:
      cur
    case Con{Cand{slot, d, sw, Some{h}}, t}:
      best_known(t, sel_pick(better(True{}, h, cur), Pick{slot, h, True{}}, cur))
    case Con{c, t}:
      best_known(t, cur)

Uses (7):
  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=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=better
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swpick.bend&name=sel_pick