Function lean_array_cptr 

pub unsafe fn lean_array_cptr(o: *mut lean_object) -> *mut *mut lean_object

Pointer to the array’s element storage (lean.h:831).

Safety

Same as lean_array_size. The returned pointer is valid for lean_array_capacity(o) elements.