module Op: functor (R : T) -> sig .. end
functor (
R
:
T
) ->
sig
end
Opposite ring.
include R
val mul : t -> t -> t
t -> t -> t