Module sorted_array 

Enums

SortedArrayError

Error types that can occur during LOWERBOUND event operations.

Constants

LOWERBOUND_ARRAY_EVENT_ID

Constant Event ID for lowerbound events, derived via EventId::from_name(EVENT_NAME).

LOWERBOUND_ARRAY_EVENT_NAME

Qualified event names for lowerbound events.

LOWERBOUND_KEY_VALUE_EVENT_ID

LOWERBOUND_KEY_VALUE_EVENT_NAME

Functions

handle_lowerbound_array

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.

handle_lowerbound_key_value

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 keys are < KEY, returns end_ptr. The array must be a list of key-value pairs (word tuples) where all keys are in non-decreasing order.