Parameter Comp.2-T2

type t
val compare : t BatOrd.comp