Pointer manipulation.
| Kind | Name | Description |
|---|---|---|
| Struct | NonZeroPtr | |
| Struct | OwnedPtr |
| Name | Description |
|---|---|
| drop | Runs the destructor of an object. |
| memcpy | Copies a number of elements between two non-overlapping pointers. |
| memmove | Copies a number of elements between two, possibly overlapping, pointers. |
| read | Reads a value from a pointer. |
| write | Writes a value to a pointer. |