def files
import ezx@1.11.0.0/src/add/plan.bend as Planimport Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/pkg/pkg.bend as K
274# every file of the checkout, none while it is not known
275def files(+world: A.World) -> List<&2, K.Source>:
276 co.files(co(world))