def has

bolt@1.27.0.0 · src/syntax/outline.bend:564

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

564# is the name among these?
565def has(names: List<&2, String>, +name: String) -> Bool:
566  match names:
567    case Nil{}:
568      False{}
569    case Con{h, t}:
570      Lazy.or_else(String.eq(h, name), _u => has(t, name))