Functor Deriving_Eq.Eq_mutable

module Eq_mutable: 
functor (S : sig
type a 
end-> Eq 5H@@7H
Parameters:
S : @!a4H

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