Skip to main content

is_sort

oxilean_kernel::expr_util::functions

Function is_sort 

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

Check if the expression is a Sort.