MCPcopy Create free account
hub / github.com/digama0/lean-sys / lean_sarray_capacity

Function lean_sarray_capacity

src/sarray/mod.rs:27–29  ·  view source on GitHub ↗
(o: *const lean_object)

Source from the content-addressed store, hash-verified

25
26#[inline(always)]
27pub unsafe fn lean_sarray_capacity(o: *const lean_object) -> usize {
28 *raw_field!(lean_to_sarray(o as *mut _), lean_sarray_object, m_capacity)
29}
30
31#[inline]
32pub unsafe fn lean_sarray_byte_size(o: *const lean_object) -> usize {

Callers 1

lean_sarray_byte_sizeFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected