def has_str
import cswap-bend-cli@0.1.0.0/setload.bend as Setloadimport Base
44def has_str(xs: List<&2, String>, +v: String) -> Bool:
45 match xs:
46 case Nil{}:
47 False{}
48 case Con{h, t}:
49 String.eq(h, v) || has_str(t, v)
import cswap-bend-cli@0.1.0.0/setload.bend as Setloadimport Base
44def has_str(xs: List<&2, String>, +v: String) -> Bool:
45 match xs:
46 case Nil{}:
47 False{}
48 case Con{h, t}:
49 String.eq(h, v) || has_str(t, v)