fn rename_memory(
memory: &mut Memory,
store: &Store,
file: &str,
placed: &[Placed],
)Expand description
The memory of one file said in format 2’s names, once its elements carry
their ids (give_ids): the entry each element stands for becomes its
entry in format 2 (its value now holding the id: its hash too), at the
same clock; a list format 1 sent whole becomes an entry per element, its
clock and what it held kept as its floor; an entry for an element no
longer here (taken out) is named as stateless names it. Several of
format 1’s entries for one element (its versions) make one: the latest
clock, the version held. Each renamed entry keeps its clock as its floor.