Module type BatOrd.Eq


module type Eq = sig .. end

type t 
val eq : t BatOrd.eq