1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
//use super::Semiring;

/// Natural number
///
///<https://en.wikipedia.org/wiki/Natural_number>
pub trait Natural: Eq {}

macro_rules! impl_natural
{
	($($t:ty),*) =>
    {
    	$(
        impl Natural for $t
        {

        }
        )*
    }
}

impl_natural!(u8, u16, u32, u64, u128);