tasm_lib::rust_shadowing_helper_functions::array

Function insert_as_array

Source
pub fn insert_as_array<T: BFieldCodec>(
    array_pointer: BFieldElement,
    memory: &mut HashMap<BFieldElement, BFieldElement>,
    array: Vec<T>,
)
Expand description

Insert a list of elements into memory encoded as if the list was an array.