Skip to main content

renaming

Function renaming 

Source
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.