Trait Alias maths_traits::algebra::module_like::RingModule

trait RingModule<K: UnitalRing> = AddAbelianGroup + Mul<K, Output = Self> + MulAssign<K> + Distributive<K>;

An abelian additive group with a distributive scalar multiplication with a unital ring