Switch.usable: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/switch.bend as Switch
Lines 105-110 of cswap-bend-cli@0.1.0.0/switch.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/switch.bend&start_line=105&end_line=110

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

def usable(+cs: List<&2, P.Cand>) -> List<&2, P.Cand>:
  match cs:
    case Nil{}:
      []
    case Con{P.Cand{s, d, sw, h}, t}:
      P.sel_lc(Bool.not(d) && sw, P.Cand{s, d, sw, h} <> usable(t), usable(t))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=sel_lc