Functor Deriving_Eq.Eq_option

module Eq_option: 
functor (E : Eq-> Eq le°ÀºLÀ»LM@°
Parameters:
E : Eq

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