[−][src]Trait Alias maths_traits::analysis::ordered::OrdMagma
trait OrdMagma = AddMagma + AddOrdered;
An additive magma with an ordered addition operation
trait OrdMagma = AddMagma + AddOrdered;
An additive magma with an ordered addition operation