Module cairo_lang_sierra_to_casm::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