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