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