Skip to main content

is_sort

oxilean_kernel

Function is_sort 

Source 
pub fn is_sort(expr: &Expr) -> bool
Expand description

Check whether an expression is a sort.