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