Parameter EqComp.1-Comp

type t
val compare : t comp