Skip to main content

is_zero

oxilean_kernel::simp::functions

Function is_zero 

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

Check whether expr is Nat.zero or the literal 0.