Skip to main content

is_bvar

Function is_bvar 

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

Check if the expression is a BVar.