deriving.runtime
Deriving_Eq.Eq_map_s_t
module E : Eq
module M : Map.S
type a = E.a M.t
val eq : a -> a -> bool