Parameter Comp.4-T4

type t
val compare : t BatOrd.comp