Algo.nosw: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/algo.bend as Algo
Lines 74-81 of cswap-bend-cli@0.1.0.0/policy/algo.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/algo.bend&start_line=74&end_line=81

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/decide.bend as D

# Nothing qualified: the reason `best` would give. The decision is rebuilt as
# a NoSwitch whatever `d` is, so no proof has to look inside `D.none.cf`.
def nosw(+d: T.Decision) -> T.Decision:
  match d:
    case T.NoSwitch{r, detail}:
      T.NoSwitch{r, detail}
    case o:
      T.NoSwitch{T.NoCandidates{}, ""}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Reason