extend_from_slice

hax_rust_engine::names::alloc::vec::Impl__2

Function extend_from_slice 

Source 
pub fn extend_from_slice() -> DefId
Expand description

This is the associated function [::alloc::vec::Impl__2::extend_from_slice].