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

trait ArchSemiring = ArchMonoid + OrdSemiring;

An ordered semiring with the Archimedean property