module Eq_immutable: functor (S : sig type a end) -> Eq (H @@
functor (
S
:
sig
type a
end) -> Eq (H @@
end
) ->
Eq
(H @@