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