Parameter Comp.T4

type t
val compare : t BatOrd.comp