Writes to a memory address a new memory value. Errors if writing to an unallocated segment or if overwriting a different memory value

Subs two memory values if they're in the same segment or the rhs is a Felt.

============== Util Functions ==============

Writes to a given segment index and offset a new memory value. Errors if writing to an unallocated segment or if overwriting a different memory value

Adds two memory values if the second one is a Felt

GetVariableAs retrieves a variable from the current scope and asserts its type

Reads a memory value given an address. Errors if reading from an unallocated segment or if reading an unknown memory value

Returns a MemoryValue holding a felt as uint if it fits

Reads a memory value given the segment index and offset. Errors if reading from an unallocated segment or if reading an unknown memory value

Given a key and a value, it sets the value at the given key

returns the effective size of a segment length i.e the rightmost element index + 1

Allocates an empty segment and returns its index

* Tests whether runner completes a trio a, b, c as the input implies: If inverse is False it tests whether a = x1, b = x2, c = None will be completed

Given a segment index and offset, returns the memory value at that position, without modifying it in any way. Errors if peeking from an unallocated se

Blake2sAddUint256 hint serializes a `uint256` number in a Blake2s compatible way `newBlake2sAddUint256Hint` takes 3 operanders as arguments - `low` a

* * Decode the bytecode into an instruction */

Allocate a Builtin segment

GetUint256AsFelts helper function reads two consecutive memory cells, the first one containing the low part of the `uint256` variable and the second o

creates a memory value from an index and an offset. If either is negative the result is undefined

Takes a uint64 and an int16 and outputs their addition as well as the ocurrence of an overflow or underflow. This is a constant-time version of the f

Given a certain file, it swaps its extension with a new suffix

It finds a segment with a given builtin name, it returns the segment and true if found

NondetBigint3V1 hint writes a value to a specified segment of memory `newNondetBigint3V1Hint` takes 1 operander as argument - `res` is the location i

EcNegate hint negates the y-coordinate of a point on an elliptic curve modulo SECP_P `newEcNegateHint` takes 1 operander as argument - `point` is the

create a pointer to an Element

KeccakWriteArgs hint writes Keccak function arguments in memory `newKeccakWriteArgsHint` takes 3 operanders as arguments - `inputs` is the address in

Works the same as `ReadFromAddress` but `MemoryValue` is converted to `Element` first

SearchSortedLower hint searches for the first element in a sorted array that is greater than or equal to a given key and returns its index `newSearch