Function lean_sarray_cptr

src/sarray/mod.rs:54–56

(o: *mut lean_object)

#[inline(always)]
pub unsafe fn lean_sarray_cptr(o: *mut lean_object) -> *mut u8 {
    raw_field!(lean_to_sarray(o), lean_sarray_object, m_data) as *mut _
}