Functor Deriving_Eq.Eq_set_s_t

module Eq_set_s_t: 
functor (S : Set.S-> Eq with type a = S.t
Parameters:
S : Set.S

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