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

Function lean_array_capacity

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

Source from the content-addressed store, hash-verified

19
20#[inline(always)]
21pub unsafe fn lean_array_capacity(o: b_lean_obj_arg) -> usize {
22 *(raw_field!(o, lean_array_object, m_capacity))
23}
24
25#[inline]
26pub unsafe fn lean_array_byte_size(o: b_lean_obj_arg) -> usize {

Callers 1

lean_array_byte_sizeFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected