Module Deriving_Eq.Eq_string

module Eq_string: Eq  with type a = string

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