def best_known

cswap-bend-cli@0.1.0.0 · swpick.bend:98

import cswap-bend-cli@0.1.0.0/swpick.bend as Swpick
import Base

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

Uses (7)

Used by (1)