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

Function lean_array_size

src/array/low_level.rs:16–18  ·  view source on GitHub ↗
(o: b_lean_obj_arg)

Source from the content-addressed store, hash-verified

14
15#[inline(always)]
16pub unsafe fn lean_array_size(o: b_lean_obj_arg) -> usize {
17 *(raw_field!(o, lean_array_object, m_size))
18}
19
20#[inline(always)]
21pub unsafe fn lean_array_capacity(o: b_lean_obj_arg) -> usize {

Callers 8

lean_array_szFunction · 0.85
lean_array_get_sizeFunction · 0.85
lean_array_getFunction · 0.85
lean_array_get_borrowedFunction · 0.85
lean_array_setFunction · 0.85
lean_array_popFunction · 0.85
lean_array_swapFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected