Pkg.foreign.check: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg
Lines 858-867 of ezx@1.11.0.0/src/pkg/pkg.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&start_line=858&end_line=867

import Base
import ezx@1.11.0.0/src/pkg/path.bend as P

# the first foreign body of a file that stops the walk, or `Going` when none
# does
def foreign.check(+tree: Tree, +dir: String, +nd: String, ats: List<&2, String>) -> Stop:
  match ats:
    case []:
      Going{}
    case +h <> t:
      +at = P.join(dir, h)
      foreign.judge(outside(at), tree, at, P.join(nd, h),
        _u => foreign.check(tree, dir, nd, t))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/path.bend&name=join
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Stop
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Tree
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=foreign.judge
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=outside