def has

near-architecture@0.9.1.0 · arc.bend:291

import Base

291def has(+s: String, xs: List<&2, String>) -> Bool:
292  match xs:
293    case []:
294      False{}
295    case x <> rest:
296      str_eq(s, x) || has(s, rest)