def was
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
import ezx@1.11.0.0/src/ez/key.bend as Key
726# the binary's record as it was written, none when there is none
727def was(+world: TW.World) -> Key.Stamp:
728 Key.read(String.trim(TW.text.or(read.got(world, key.at(world)))))