Skip to main content

count_sorts

oxilean_kernel

Function count_sorts 

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

Count all sort occurrences in an expression.