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

import Base

def any_unknown(+cs: List<&2, Cand>) -> Bool:
  match cs:
    case Nil{}:
      False{}
    case Con{Cand{s, d, sw, None{}}, t}:
      True{}
    case Con{c, t}:
      any_unknown(t)

Uses (4):
  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