def owns

bolt@1.27.0.0 · src/lsp/report.bend:128

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

128# is the name among these?
129def owns(names: List<&2, String>, +name: String) -> Bool:
130  match names:
131    case Nil{}:
132      False{}
133    case Con{hh, tt}:
134      Lazy.or_else(String.eq(hh, name), _u => owns(tt, name))