Module references

Structs

IntroductionPoint

The location where a value was introduced.

OutputReferenceValue

A Sierra reference to a value. Returned from a libfunc.

ReferenceExpression

A collection of Cell Expression which represents one logical object.

ReferenceValue

A Sierra reference to a value. Corresponds to an argument or return value of a Sierra statement.

Enums

OutputReferenceValueIntroductionPoint

The location where a value was introduced for output reference values.

ReferencesError

Functions

build_function_parameters_refs

Builds the HashMap of references to the parameters of a function.

check_types_match

Checks that the list of references contains types matching the given types.

Type Aliases

StatementRefs