Functor Deriving_Eq.Eq_map_s_t

module Eq_map_s_t: 
functor (E : Eq-> 
functor (M : Map.S-> Eq with type a = E.a M.t
Parameters:
E : Eq
M : Map.S

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