Module ptr 

Structs

PtrDeepModel

We conservatively model raw pointers as having an address plus some hidden metadata.

Traits

PointerExt

Extension trait for pointers

SizedPointerExt

Extension methods for *const T where T: Sized.

SlicePointerExt

Extension methods for *const [T]