def reads
import ezx@1.11.0.0/src/tool/plan.bend as Planimport Base
import ezx@1.11.0.0/src/tool/world.bend as TW
445# the three files of a cached checkout
446def reads(+world: TW.World) -> List<&2, TW.Ask>:
447 [TW.Read{stamp.at(world)}, TW.Read{top(world) ++ "/ez.toml"},
448 TW.Read{top(world) ++ "/ez.lock.toml"}]