pub unsafe extern "C" fn sort_is_equal(a: Sort, b: Sort) -> bool
Compare two sorts for structural equality. @param a The first sort. @param b The second sort. @return True if the sorts are equal.