Macro hacspec_lib::both_bytes

macro_rules! both_bytes {
    ($public_name:ident, $name:ident, $l:expr) => { ... };
}