Functionsยง

insert_random_list
list_get
Read an element from a list.
list_get_length
list_insert
list_new
list_pointer_to_elem_pointer
A pointer to the ith element in the list, as well as the size of that element.
list_pop
Pop an element from the pointed-to list.
list_push
Push the given element to the pointed-to list.
list_set
Write an element to a list.
list_set_length
load_list_unstructured
Load a list from memory returning each element as a list of BFieldElements.
load_list_with_copy_elements
Load a list from memory. Elements must be of Copy type.
untyped_insert_random_list