def any_switchable

cswap-bend-cli@0.1.0.0 · switch.bend:207

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

207def any_switchable(+cs: List<&2, P.Cand>) -> Bool:
208  match cs:
209    case Nil{}:
210      False{}
211    case Con{P.Cand{s, d, sw, h}, t}:
212      sw || any_switchable(t)

Uses (4)

Used by (1)