Skip to main content

has_level_param

oxilean_kernel::expr_util::functions

Function has_level_param 

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

Check if an expression has universe level parameters.

O(1) in the size of the term, as has_level_mvar.