#include "avl.h"

forall(T | Comparable(T))
int ?==?(T t1, T t2) {
  return !(t1 < t2) && !(t2 < t1);
}

forall(T | Comparable(T))
int ?>?(T t1, T t2) {
  return t2 < t1;
}