Macro hacspec_dev::create_test_vectors

macro_rules! create_test_vectors {
    ($struct_name: ident, $($element: ident: $ty: ty),+) => { ... };
}