eq_term

Function eq_term 

Source
fn eq_term(l: &Term, r: &Term) -> bool