Function print_input 

pub fn print_input(
    expr: &Expr,
    locale: FormulaLocale,
    known_name: impl Fn(&str) -> bool,
) -> Result<String, ParseError>

Prints canonical expressions for editing. Name collisions retain the canonical spelling so displaying then committing a formula never changes a defined-name reference.