Functor Eq.Eq_immutable


module Eq_immutable: 
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