Skip to main content

has_level_mvar

oxilean_kernel::expr_util::functions

Function has_level_mvar 

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

Check if an expression has universe level metavariables.