World.paths.of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint/world.bend as World
Lines 39-42 of bolt@1.27.0.0/src/lint/world.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint/world.bend&start_line=39&end_line=42

import Base

# the paths named on the command line
def paths.of(world: World) -> List<&2, String>:
  World{paths, _cwd, _replies} = world
  paths

Uses (3):
  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=bolt@1.27.0.0/src/lint/world.bend&name=World