Parameter Comp.3-T3

type t
val compare : t BatOrd.comp