def seen
import ezx@1.11.0.0/src/tool/plan.bend as Planimport Base
818# whether this directory is one of the entries
819def seen(+dir: String, ps: List<&2, String>) -> Bool:
820 match ps:
821 case []:
822 False{}
823 case +h <> t:
824 seen.step(String.eq(bare(h), bare(dir)), _u => seen(dir, t))