Functor Deriving_Eq.Eq_ref

module Eq_ref: 
functor (E : Eq-> Eq Ð@@°À¢KÐ À£K
Parameters:
E : Eq

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