[−][src]Trait Alias maths_traits::analysis::ordered::ArchSemiring
trait ArchSemiring = ArchMonoid + OrdSemiring;
An ordered semiring with the Archimedean property
trait ArchSemiring = ArchMonoid + OrdSemiring;
An ordered semiring with the Archimedean property