Function Deref

pub fn Deref(p: Pointer, T: Type, len: Len)

Formal: Deref(p, T, len) = Allocated(p, T, len, *) && InBound(p, T, len)

where

• Allocated
• InBound

Unsafe Function indirectly requiring this SP

• crate::foo