module Eq_list: functor (E : Eq) -> Eq Ð ÐÀ¯K Ð@°À±K
functor (
E
:
Eq
) ->
Ð ÐÀ¯K Ð@°À±K
type a
val eq : a -> a -> bool
a -> a -> bool