Skip to main content

eta_normalize

oxilean_kernel::eta::functions

Function eta_normalize 

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

Eta-normalize an expression (recursively eta-contracting).