Skip to main content

normal_eq

oxilean_kernel::eta::functions

Function normal_eq 

Source 
pub fn normal_eq(e1: &Expr, e2: &Expr) -> bool
Expand description

Check structural equality after full normalization.