handle_lowerbound_array

miden_stdlib::handlers::sorted_array

Function handle_lowerbound_array 

Source 
pub fn handle_lowerbound_array(
    process: &ProcessState<'_>,
) -> Result<Vec<AdviceMutation>, EventError>
Expand description

Pushes onto the advice stack the first pointer in [start_ptr, end_ptr) such that mem[word_ptr] >= KEY in lexicographic order of words. If all words are < KEY, returns end_ptr. The array must be sorted in non-decreasing order.

Inputs: Operand stack: [KEY, start_ptr, end_ptr, …] Advice stack: […]

Outputs: Operand stack: [KEY, start_ptr, end_ptr, …] Advice stack: [maybe_key_ptr, was_key_found, …]

§Errors

Returns an error if the provided word array is not sorted in non-decreasing order.