Macro hacspec_lib::byte_seq

macro_rules! byte_seq {
    ($( $b:expr ),+) => { ... };
}