[][src]Trait Alias maths_traits::analysis::ordered::OrdGroup

trait OrdGroup = OrdMonoid + AddGroup;

An additive group with an ordered addition operation