Plan.paths.safe: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/fetch/plan.bend as Plan
Lines 190-197 of ezx@1.11.0.0/src/fetch/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&start_line=190&end_line=197

import Base
import ezx@1.11.0.0/src/lock/world.bend as W

# whether every path stays inside the tree
def paths.safe(ls: List<&2, W.Source>) -> Bool:
  match ls:
    case []:
      True{}
    case W.Source{+at, _text} <> t:
      +rest = paths.safe(t)
      Bool.and(path.safe(at), rest)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=path.safe
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Source