Module low_level 

Arrays of objects Arrays of objects (low level API)

Functions

lean_alloc_array^⚠

lean_array_byte_size^⚠

lean_array_capacity^⚠

lean_array_cptr^⚠

lean_array_data_byte_size^⚠

lean_array_get_core^⚠

lean_array_mk^⚠

lean_array_set_core^⚠

lean_array_set_size^⚠

lean_array_size^⚠

lean_array_to_list^⚠