pub fn alpha_class_rep(expr: &Expr) -> Expr
Compute an alpha-equivalence class representative.
Maps an expression to a canonical representative where all binder names are replaced by x0, x1, etc.
x0
x1