Skip to main content

alpha_hash

Function alpha_hash 

Source
pub fn alpha_hash(expr: &Expr) -> u64
Expand 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.)