Module Deriving_Eq.Eq_list

Parameters

module E : Eq

Signature

type a = E.a list
val eq : a -> a -> bool