def has

bend-net-url@0.4.0.0 · url.bend:275

import Base

275def has(s: String, +c: U32) -> Bool:
276  match s:
277    case SNil{}:
278      False{}
279    case SCon{Chr{d}, t}:
280      Bool.or(U32.is_eq(d, c), has(t, c))