pub fn alpha_hash(expr: &Expr) -> u64Expand description
Compute a structural hash of an expression for alpha-equivalence purposes.
Two alpha-equivalent expressions will have the same hash. (Note: this is not a cryptographic hash — collisions are possible.)