def seen.has

bolt@1.27.0.0 · src/lint/plan.bend:206

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

206# whether a path is among the paths
207def seen.has(ps: List<&2, String>, +pp: String) -> Bool:
208  match ps:
209    case Nil{}:
210      False{}
211    case Con{p, rest}:
212      Lazy.or_else(String.eq(p, pp), _u => seen.has(rest, pp))