def tracked.has
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
492def tracked.has(ls: List<&2, String>, +path: String) -> Bool:
493 match ls:
494 case []:
495 False{}
496 case +h <> t:
497 tracked.step(String.eq(h, "H " ++ path), _u => tracked.has(t, path))