Module mem 

Functions

align_of_logic

align_of as a logic Int value.

extern_spec_std_mem_align_of

extern spec for ::std::mem::align_of<T>

extern_spec_std_mem_drop

extern spec for ::std::mem::drop<T>

extern_spec_std_mem_forget

extern spec for ::std::mem::forget<T>

extern_spec_std_mem_replace

extern spec for ::std::mem::replace<T>

extern_spec_std_mem_size_of

extern spec for ::std::mem::size_of<T>

extern_spec_std_mem_size_of_val

extern spec for ::std::mem::size_of_val<T>

extern_spec_std_mem_swap

extern spec for ::std::mem::swap<T>

extern_spec_std_mem_take

extern spec for ::std::mem::take<T>

size_of_logic

size_of as a logic Int value.

size_of_val_logic

size_of_val as a logic Int value.