def paths.of
import bolt@1.27.0.0/src/lint/world.bend as Worldimport Base
39# the paths named on the command line
40def paths.of(world: World) -> List<&2, String>:
41 World{paths, _cwd, _replies} = world
42 paths
import bolt@1.27.0.0/src/lint/world.bend as Worldimport Base
39# the paths named on the command line
40def paths.of(world: World) -> List<&2, String>:
41 World{paths, _cwd, _replies} = world
42 paths