pub exec fn set_range<'a>(data: &mut Vec<u8>, i: usize, input: &[u8])Expand description
requires
0 <= i + input@.len() <= old(data)@.len() <= usize::MAX,data@.len() == old(data)@.len() && data@ == seq_splice(old(data)@, i, input@),Helper function to set a range of bytes in a vector.