tasm_lib::rust_shadowing_helper_functions::list

Function list_push

Source 
pub fn list_push(
    list_pointer: BFieldElement,
    value: Vec<BFieldElement>,
    memory: &mut HashMap<BFieldElement, BFieldElement>,
)
Expand description

Push the given element to the pointed-to list.

Only supports lists with statically sized elements.

ยงPanics

Panics if the pointed-to list is incorrectly encoded.