module type Left = sig .. end
sig
end
A left module.
type t
An element of the module.
type r
An element of the ring.
module Ring: sig .. end
include Group.Abelian
val cmul : r -> t -> t
r -> t -> t
Left action of the ring.