Function lean_string_capacity 

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

m_capacity field (lean.h:1169).

Safety

Same as lean_string_size.