Skip to main content

count_lam_binders

oxilean_kernel

Function count_lam_binders 

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

Count Lam binders in a Lambda-chain.