Functor Deriving_Eq.Eq_list

module Eq_list: 
functor (E : Eq-> Eq ÐÐÀ¯KÐ@°À±K
Parameters:
E : Eq

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