module Eq_mutable: functor (S : sig type a end) -> Eq 5H @@7H
functor (
S
:
sig
type a
end) -> Eq 5H @@7H
end
) ->
Eq
5H @@7H
@!a4H
val eq : a -> a -> bool
a -> a -> bool