Function lean_sarray_size

src/sarray/mod.rs:37–39

(o: *const lean_object)

#[inline(always)]
pub unsafe fn lean_sarray_size(o: *const lean_object) -> usize {
    *raw_field!(lean_to_sarray(o as *mut _), lean_sarray_object, m_size)
}

#[inline(always)]
pub unsafe fn lean_sarray_data_byte_size(o: *const lean_object) -> usize {