pub fn first_free_nd_address(
memory: &HashMap<BFieldElement, BFieldElement>,
) -> Option<BFieldElement>Expand description
Returns the address of the first unpopulated word belonging to the memory region designated for non-determinism.
pub fn first_free_nd_address(
memory: &HashMap<BFieldElement, BFieldElement>,
) -> Option<BFieldElement>Returns the address of the first unpopulated word belonging to the memory region designated for non-determinism.