Function Allocated

pub fn Allocated(p: Pointer, T: Type, len: Len, A: Allocator)

Formal: Allocated(p, T, len, A): ∀ i ∈ 0..sizeof(T)*len, allocator(p+i) = A

Unsafe Function indirectly requiring this SP

• crate::foo