Trait Alias maths_traits::analysis::ordered::OrdSemiring

trait OrdSemiring = Semiring + OrdMonoid + MulOrdered;

A semiring with ordered addition and multiplication