Skip to main content

expr_depth

oxilean_kernel::whnf::functions

Function expr_depth 

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

Compute the depth (maximum nesting) of an expression tree.