def strings.has

gralha-text-scan@0.1.0.1 · scan.bend:281

import gralha-text-scan@0.1.0.1/scan.bend as Scan

import Base

281def strings.has(xs: List<&2, String>, +s: String) -> Bool:
282  match xs:
283    case Nil{}: False{}
284    case Con{h, t}: branch(Bool, string.equal(h, s), _ => True{}, _ => strings.has(t, s))

Uses (5)

Used by (4)