Skip to main content

is_beta_normal

oxilean_kernel::beta::functions

Function is_beta_normal 

Source 
pub fn is_beta_normal(expr: &Expr) -> bool
Expand description

Check if an expression is in beta normal form.