def has_str

cswap-bend-cli@0.1.0.0 · args.bend:69

import cswap-bend-cli@0.1.0.0/args.bend as Args

import Base

69def has_str(+x: String, xs: List<&2, String>) -> Bool:
70  match xs:
71    case Nil{}:
72      False{}
73    case Con{h, t}:
74      String.eq(h, x) || has_str(x, t)

Uses (5)

Used by (5)