Parameter Eq.1-T1

type t
val eq : t BatOrd.eq