Pkg.visit.put: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg
Lines 869-905 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=869&end_line=905

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

# a file whose LICENSE and foreign bodies are all settled: itself, the LICENSE
# beside it and its foreign bodies found, and the modules it imports put at
# the front of the queue, so the walk goes depth first the way bend's does. A foreign body that stops the walk
# leaves the file queued, so an answered question visits it again.
def visit.put(
  fstop: Stop,
  +tree: Tree,
  +sc: Scan,
  +text: String,
  +file: String,
  +ns: String,
  eb: String,
  seen: List<&2, String>,
  out: List<&2, Hit>,
  rest: List<&2, Task>
) -> State:
  match fstop:
    case Going{}:
      +d = P.dir(file)
      +nd = nsdir(ns)
      +raw = raw_of(ns, eb)
      State{file <> seen,
        Hit{raw, text} <> List.append(&2, Hit,
          license.put(find(tree, beside(file)), beside(raw)),
          List.append(&2, Hit, foreigns(tree, d, nd, scan.foreign(sc)), out)),
        Going{},
        List.append(&2, Task, tasks(d, nd, scan.mods(sc)), rest)}
    case Missing{at}:
      State{seen, out, Missing{at}, Task{file, ns} <> rest}
    case Climbs{at}:
      State{seen, out, Climbs{at}, Task{file, ns} <> rest}
    case Asking{at}:
      State{seen, out, Asking{at}, Task{file, ns} <> rest}
    case Spent{}:
      State{seen, out, Spent{}, Task{file, ns} <> rest}
    case Unnamed{nv}:
      State{seen, out, Unnamed{nv}, Task{file, ns} <> rest}

Uses (19):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  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=dir
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Hit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Scan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=State
  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=Task
  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=beside
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=find
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=foreigns
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=license.put
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=nsdir
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=raw_of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=scan.foreign
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=scan.mods
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=tasks