pub fn freshen_binders_with( lhs: &Ast, rhs: &Ast) -> Option<(Ast, Ren, Ast, Ren)>
Like freshen_binders, but to unite two Asts with identical structure (else returns None).
freshen_binders
Ast
None