pub unsafe extern "C" fn term_is_equal(a: Term, b: Term) -> bool
Compare two terms for syntactic equality. @param a The first term. @param b The second term. @return True if both term are syntactically identical.