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

Function lean_array_byte_size

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

Source from the content-addressed store, hash-verified

24
25#[inline]
26pub unsafe fn lean_array_byte_size(o: b_lean_obj_arg) -> usize {
27 core::mem::size_of::<lean_array_object>()
28 + core::mem::size_of::<*mut ()>() * lean_array_capacity(o)
29}
30
31#[inline]
32pub unsafe fn lean_array_data_byte_size(o: b_lean_obj_arg) -> usize {

Callers

nothing calls this directly

Calls 1

lean_array_capacityFunction · 0.85

Tested by

no test coverage detected