tasm_lib::rust_shadowing_helper_functions::array

Function array_get

Source
pub fn array_get(
    pointer: BFieldElement,
    index: usize,
    memory: &HashMap<BFieldElement, BFieldElement>,
    element_length: usize,
) -> Vec<BFieldElement>
Expand description

Read an element from an array