Functor Deriving_Eq.Eq_mutable

module Eq_mutable: 
functor (S : sig
type a 
end-> Eq  with type a = S.a
Parameters:
S : sig type a end

type a 
val eq : a -> a -> bool