let compare : t -> t -> int = compare