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