Parameter Ord.1-Comp

type t
val compare : t comp