Macro hacspec_lib::assert_bytes_eq

macro_rules! assert_bytes_eq {
    ( $a1: expr, $a2: expr) => { ... };
}