module type T = Left
Left
By default, by a module, we mean a left module.
type t
An element of the module.
type r
An element of the ring.
module Ring: sig .. end
sig
end
include Group.Abelian
val cmul : r -> t -> t
r -> t -> t
Left action of the ring.