module type Right = sig .. end
sig
end
A right module.
include Module.Left
val cmul : t -> r -> t
t -> r -> t
Right action of the ring.