fn retire(stack: &mut Vec<Entry>, edit: Rev) -> Option<Entry>Expand description
Drop the entry a step just consumed and say where it left the session standing. A step has already refused a name that is not the top, and a replayed record names what its own session’s step did; a name the stack does not hold is left alone rather than taken as “the top one”.