sig
  val ( > ) : T.t -> T.t -> bool
  val ( < ) : T.t -> T.t -> bool
  val ( >= ) : T.t -> T.t -> bool
  val ( <= ) : T.t -> T.t -> bool
  val ( = ) : T.t -> T.t -> bool
  val ( <> ) : T.t -> T.t -> bool
end