def member

bend-kit-router@0.2.0.0 · router.bend:67

import bend-kit-router@0.2.0.0/router.bend as Router
import Base

67def member(xs: List<&2, String>, +s: String) -> Bool:
68  match xs:
69    case Nil{}:
70      False{}
71    case h <> t:
72      Bool.or(String.eq(h, s), member(t, s))

Uses (5)

Used by (2)