Module Deriving_Eq.Eq_map_s_t

Parameters

module E : Eq
module M : Map.S

Signature

type a = E.a M.t
val eq : a -> a -> bool