Parameter Make.T

type t

See ORD.t

val compare : t -> t -> int