def has

ezx@1.11.0.0 · src/ws/workspace.bend:188

import Base

188# whether a list of paths holds one
189def has(xs: List<&2, List<&2, String>>, +ds: List<&2, String>) -> Bool:
190  match xs:
191    case []:
192      False{}
193    case +hd <> tl:
194      rest = has(tl, ds)
195      Bool.or(segs.eq(hd, ds), rest)