def has_text

cli@0.2.0.0 · cli.bend:4026

import Base

4026# Whether names holds query: List.contains with String.eq would copy each
4027# name it compares.
4028def has_text(names: List<&2, String>, +query: String, found: Bool) -> Bool:
4029  match names found:
4030    case _ True{}: True{}
4031    case Nil{} False{}: False{}
4032    case name <> tail False{}: has_text(tail, query, same_text(name, query))