Skip to main content

count_lets

oxilean_codegen::opt_beta_eta::functions

Function count_lets 

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

Count the total number of let-bindings in an expression.