vec_u8_extend_from_slice

Function vec_u8_extend_from_slice 

Source
pub exec fn vec_u8_extend_from_slice(dest: &mut Vec<u8>, src: &[u8])
Expand description
requires
old(dest)@.len() + src@.len() <= usize::MAX,
ensures
dest@.len() == old(dest)@.len() + src@.len(),
dest@ == old(dest)@.add(src@),

Wraps Rust’s Vec::extend_from_slice.