Parameter Comp.T3

type t
val compare : t BatOrd.comp