Function lean_sarray_cptr 

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

Pointer to the scalar array’s byte storage (lean.h:1028).

Safety

Same as lean_sarray_size. The returned pointer is valid for lean_sarray_capacity(o) * lean_sarray_elem_size(o) bytes.