The code for a vector of i32s could look something like:
impl Vec { pub fn push(&mut self, x:i32){ // internal details } }
The code for a vector of i32s could look something like: