Functor Deriving_Eq.Eq_immutable

module Eq_immutable: 
functor (S : sig
type a 
end-> Eq (H@@
Parameters:
S : @@!

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