tasm_lib::memory

Function last_populated_nd_memory_address

Source 
pub fn last_populated_nd_memory_address(
    memory: &HashMap<BFieldElement, BFieldElement>,
) -> Option<BFieldElement>
Expand description

Returns the address of the last populated word belonging to the memory region designated for non-determinism.