Parameter Comp.1-T1

type t
val compare : t BatOrd.comp