Trait Alias maths_traits::analysis::ordered::OrdUnitalSemiring

trait OrdUnitalSemiring = OrdSemiring + UnitalSemiring;

A unitial semiring with ordered addition and multiplication