Parameter Eq.T5

type t
val eq : t BatOrd.eq