Trait Alias maths_traits::analysis::ordered::OrdUnitalRing

trait OrdUnitalRing = OrdRing + UnitalRing + Sign;

A unital ring with ordered addition and multiplication