Skip to main content

is_identity_lambda

oxilean_kernel::eta::functions

Function is_identity_lambda 

Source 
pub fn is_identity_lambda(expr: &Expr) -> bool
Expand description

Check if a lambda body is the identity (lambda x. x).