def has_str

cswap-bend-cli@0.1.0.0 · setload.bend:44

import cswap-bend-cli@0.1.0.0/setload.bend as Setload
import 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)

Uses (5)

Used by (8)