module Eq_alpha: functor (S : sig type a end) -> Eq with type a = S.a
functor (
S
:
sig
type a
end) -> Eq with type a = S.a
end
) ->
Eq
with type a = S.a
sig type a end
val eq : a -> a -> bool
a -> a -> bool