Macro hacspec_lib::array

macro_rules! array {
    ($name:ident, $l:expr, U8) => { ... };
    ($name:ident, $l:expr, U8, $idx: ident) => { ... };
    ($name:ident, $l:expr, U16) => { ... };
    ($name:ident, $l:expr, U16, type_for_indexes: $idx: ident) => { ... };
    ($name:ident, $l:expr, U32) => { ... };
    ($name:ident, $l:expr, U32, type_for_indexes: $idx: ident) => { ... };
    ($name:ident, $l:expr, U64) => { ... };
    ($name:ident, $l:expr, U64, type_for_indexes: $idx: ident) => { ... };
    ($name:ident, $l:expr, U128) => { ... };
    ($name:ident, $l:expr, U128, type_for_indexes: $idx: ident) => { ... };
    ($name:ident, $l:expr, u8) => { ... };
    ($name:ident, $l:expr, u8, type_for_indexes: $idx: ident) => { ... };
    ($name:ident, $l:expr, u16) => { ... };
    ($name:ident, $l:expr, u16, type_for_indexes: $idx: ident) => { ... };
    ($name:ident, $l:expr, u32) => { ... };
    ($name:ident, $l:expr, u32, type_for_indexes: $idx: ident) => { ... };
    ($name:ident, $l:expr, u64) => { ... };
    ($name:ident, $l:expr, u64, type_for_indexes: $idx: ident) => { ... };
    ($name:ident, $l:expr, u128) => { ... };
    ($name:ident, $l:expr, u128, type_for_indexes: $idx: ident) => { ... };
    ($name:ident, $l:expr, $t:ty) => { ... };
    ($name:ident, $l:expr, $t:ty, type_for_indexes: $idx: ident) => { ... };
}

Create a new array with the given name, length, and type.