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
i
th 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
BFieldElement
s. - load_
list_ with_ copy_ elements - Load a list from memory. Elements must be of
Copy
type. - untyped_
insert_ random_ list