Module type BatOrd.Eq

module type Eq = sig .. end

type t 

val eq : t BatOrd.eq