Module arrays
Structs
- ClaimedLengthArray - An array interpreted by Kernel circuits. Its
lengthis merely a claim that must eventually be validated. Validation must include:- Asserting all items to the LHS of the length are nonempty (dense).
- Asserting all items to the RHS of the length are empty.
Functions
- Deprecated.
- This function assumes that
array1andarray2contain no more than N non-empty elements between them, if this is not the case then elements from the end ofarray2will be dropped. - Asserts that all fields in
inputafter the firstin_lenfields are zero. - Helper function to find the index of the first element in an array that satisfies a given predicate. If the element is not found, the function returns the length of the array
N - Helper function to find the index of the last element in an array that satisfies a given predicate. If the element is not found, the function returns the length of the array
N - Helper fn to create a subarray from a given array.