Parameter Comp.T

type t
val compare : t BatOrd.comp