use crate::operators::Additive;
use crate::properties::general::Associative;
pub trait ArchimedeanProperty: PartialOrd + Associative<Additive> {}
pub trait ArchimedeanDiv: Sized + ArchimedeanProperty {}
macro_rules! impl_archimedean {
($($set:ty)*) => {
$(
impl ArchimedeanProperty for $set {}
impl ArchimedeanDiv for $set {}
)*
}
}
impl_archimedean!(u8 u16 u32 u64 u128 usize i8 i16 i32 i64 i128 isize f32 f64);