Functor Deriving_Eq.Eq_map_s_t
module Eq_map_s_t : functor (E : Eq) ->
functor (M : Map.S) ->
Eqwith type a = E.a M.t
Parameters :
E | : | Deriving_Eq.Eq |
M | : | Map.S |
type a
val eq : a -> a -> bool
Warning: Reason support is experimental. We are looking for beta-tester and contributors.
module Eq_map_s_t : functor (E : Eq) ->
functor (M : Map.S) ->
Eqwith type a = E.a M.t
Parameters :
E | : | Deriving_Eq.Eq |
M | : | Map.S |
type a
val eq : a -> a -> bool