Functor Deriving_Eq.Eq_alpha

module Eq_alpha: 
functor (S : sig
type a 
end-> Eq ±Ê@@°ÀBH±
Parameters:
S : $bool°À?H±

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