Skip to main content

expr_depth

Function expr_depth 

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

Compute the maximum nesting depth of an expression.