1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

//! Basic arithmetic operations.

pub mod conversions;
pub mod float_ops;
pub mod float_types;
pub mod int_ops;
pub mod int_types;

#[cfg(test)]
mod test {
    use crate::{
        std_extensions::arithmetic::int_types::{int_type, INT_TYPES},
        types::type_param::TypeArg,
    };

    use super::int_types::LOG_WIDTH_BOUND;

    #[test]
    fn test_int_types() {
        for i in 0..LOG_WIDTH_BOUND {
            assert_eq!(
                INT_TYPES[i as usize],
                int_type(TypeArg::BoundedNat { n: i as u64 })
            )
        }
    }
}