Skip to main content

is_prop

oxilean_kernel::expr_util::functions

Function is_prop 

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

Check if the expression is Sort(Level::Zero) (i.e. Prop).