Expand description
List operations, mimicking Vec in some ways (but not in others).
Lists may only contain elements whose type has static size.
Like Vec, a list can be created,
pushed to, popped from,
written to, and asked for its
length, among other operations.
Unlike Vec, lists do not track their capacity. Instead, list created at
Triton VM’s runtime get access to an entire memory page.
Lists spawned in Triton VM’s memory through
non-determinism might have
access to smaller memory regions. As with all non-determinism, handling them
requires additional care.
Modules§
- contains
- get
- higher_
order - horner_
evaluation_ dynamic_ length - length
- multiset_
equality_ digests - multiset_
equality_ u64s - new
- pop
- push
- range
- set
- set_
length - split_
off - sum_
bfes - sum_
xfes - swap_
unchecked
Constants§
- LIST_
METADATA_ SIZE - The number of VM words required to store the metadata / bookkeeping data of a list.