Parameter Ord.Comp

type t
val compare : t comp