Structs§
- Array
Ptr - Concrete representation of a pointer to an array The length of the array is not stored in the pointer
- Points
To - Permission to access an array of values
- Points
ToArray - Points
ToArray Data
Functions§
- axiom_
mem_ contents_ unwrap_ init_ correctness - axiom_
mem_ contents_ unwrap_ uninit_ correctness - axiom_
mem_ contents_ wrap_ correctness - is_
mem_ contents_ all_ init - is_
mem_ contents_ all_ uninit - layout_
for_ array_ is_ valid - mem_
contents_ unwrap - mem_
contents_ wrap - ptr_
mut_ fill - ptr_
mut_ read_ all - ptr_
mut_ read_ at - ptr_
mut_ write_ at - ptr_ref
- ptr_
ref_ at