pub fn lean_binder_name(param: &str) -> Option<&str>
The Lean binder name an imported binder carries, when the import kept one.