module Eq_ref: functor (E : Eq) -> Eq Ð@@°À¢K ÐÀ£K
functor (
E
:
Eq
) ->
Ð@@°À¢K ÐÀ£K
type a
val eq : a -> a -> bool
a -> a -> bool