Up.files.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/up.bend as Up
Lines 286-289 of ezx@1.11.0.0/src/ws/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/up.bend&start_line=286&end_line=289

import Base
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/pkg/pkg.bend as K
import ezx@1.11.0.0/src/ws/joint.bend as J

# the committed files a World lists
def files.of(world: LW.World) -> List<&2, K.Source>:
  LW.World{_args, _ledger, listing, _replies, _ups} = world
  J.files(listing)

Uses (4):
  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/lock/world.bend&name=World
  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/ws/joint.bend&name=files