Trait Alias maths_traits::algebra::ring_like::Semiring

trait Semiring = Distributive + AddMonoid + AddCommutative + MulSemigroup;

A commutative and additive monoid with a distributive and associative multiplication operation