Module type Deriving_Eq.Eq

module type Eq = sig .. end

type a 
val eq : a -> a -> bool