Parameter EqComp.Comp

type t
val compare : t comp