def has

bolt@1.27.0.0 · src/rules.bend:115

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

115# whether a directory is among the directories
116def has(ds: List<&2, String>, +dd: String) -> Bool:
117  match ds:
118    case Nil{}:
119      False{}
120    case Con{d, rest}:
121      Lazy.or_else(String.eq(d, dd), _u => has(rest, dd))