pub fn renaming(from: &str, to: &str) -> Option<BTreeMap<String, String>>Expand description
The renaming that turns program from into program to, bound name by bound name, when they share a
shape_digest: the tokens aligned position by position, every word but a bound name kept exactly. None when they
are not one program up to the names they bind.