def stamp.at
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
329# the checkout's record, written once every file of it is laid
330def stamp.at(+world: TW.World) -> String:
331 revdir(world) ++ "/rev"