Prelude.OrderedType
(sig type t val compare : t -> t -> int end).
(sig type t val compare : t -> t -> int end)
type t
val compare : t -> t -> int