Structs

Describes the changes to the set of references at a single branch target, as well as changes to the environment.
The result from a compilation of a single invocation statement.
Helper for building compiled invocations.
Information in the program level required for compiling an invocation.

Enums

Functions

Checks that the list of reference is contiguous on the stack and ends at ap - 1. This is the requirement for function call and return statements.
Given a Sierra invocation statement and concrete libfunc, creates a compiled casm representation of the Sierra statement.
Fetches the non-fallthrough jump target of the invocation, assuming this invocation is a conditional jump.