Functor Deriving_Eq.Eq_map_s_t

module Eq_map_s_t: 
functor (E : Eq-> 
functor (M : Stdlib.Map.S-> Eq ÎL0ÀÏL1@@@
Parameters:
E : Eq
M : Stdlib.Map.S

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