def any_unknown

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

import Base

107def any_unknown(+cs: List<&2, Cand>) -> Bool:
108  match cs:
109    case Nil{}:
110      False{}
111    case Con{Cand{s, d, sw, None{}}, t}:
112      True{}
113    case Con{c, t}:
114      any_unknown(t)