Parameter Comp.5-T5

type t
val compare : t BatOrd.comp