Module type BatOrd.Eq

module type Eq = sig .. end

type t 
val eq : t BatOrd.eq