Parameter MakeComparable.M

type t
val cmp : t -> t -> int