Plan.files.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/plan.bend as Plan
Lines 579-588 of ezx@1.11.0.0/src/pub/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pub/plan.bend&start_line=579&end_line=588

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# the files of a package, with their texts, at the paths the hub holds them
# at; none while there is no package
def files.of(got: K.Walked) -> List<&2, K.Source>:
  match got:
    case K.Walked{_h, _root, fs, _sums}:
      fs
    case K.Asks{_at}:
      []
    case K.Refused{_why}:
      []

Uses (3):
  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/pkg/pkg.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Walked