Skip to main content

truncate

hax_rust_engine::names::alloc::vec::Impl__1

Constant truncate 

Source 
pub const truncate: GlobalId;
Expand description

This is the associated function [::alloc::vec::Impl__1::truncate].