Functor Deriving_Eq.Eq_array

module Eq_array: 
functor (E : Eq-> Eq @@°À¨KÐûÀ©KÐ@
Parameters:
E : Eq

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