Trait HashLambda 

pub trait HashLambda {
    // Required method
    fn hash_expr<H: Hasher>(&self, state: &mut H);
}

In order to hash a RootedLambdaPool, this trait must be implemented. It allows trees to be hashed without regard for the precise layout of their pools, only the actual tree.

Required Methods

fn hash_expr<H: Hasher>(&self, state: &mut H)

Hash the expression (without paying attention to subtrees which should be handled RootedLambdaPool’s hash implementation)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl HashLambda for Expr<'_>