module Eq_array: functor (E : Eq) -> Eq @@°ÀªK Ð ûÀ«K Ð
functor (
E
:
Eq
) ->
@@°ÀªK Ð ûÀ«K Ð
type a
val eq : a -> a -> bool
a -> a -> bool