module Eq_alpha: functor (S : sig type a end) -> Eq ± Ê@@°ÀBH ±
functor (
S
:
sig
type a
end) -> Eq ± Ê@@°ÀBH ±
end
) ->
Eq
± Ê@@°ÀBH ±
$bool°À?H ±
val eq : a -> a -> bool
a -> a -> bool