Module invocations

Modules

• enm

Structs

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

Enums

• ApTrackingChange
  Describes a simple change in the ap tracking itself.
• InvocationError

Functions

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