Function lean_sarray_capacity 

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

m_capacity of a scalar array (lean.h:1015).

Safety

Same as lean_sarray_size.