def name.rewrote
import ezx@1.11.0.0/src/fetch/plan.bend as Planimport Base
600# how a rewritten names file is said to have been rewritten
601def name.rewrote(+nv: String, +hash: String, +was: String) -> String:
602 "ez: BEND_LIB/names/" ++ nv ++ " named " ++ was ++ ", and the lock names " ++ hash ++
603 "; rewrote it"