Macro hacspec_lib::both_arrays

macro_rules! both_arrays {
    ($public_name:ident, $name:ident, $l:expr, $t:ty, $tbase:ty) => { ... };
}