Module program

Source

Structs§

ConcreteLibfuncLongId
A concrete library function (the generic parent function and the generic arguments).
ConcreteTypeLongId
A concrete type (the generic parent type and the generic arguments).
DeclaredTypeInfo
Declaration of a concrete type info.
FunctionSignature
Represents the signature of a function.
GenBranchInfo
Describes the flow of a chosen libfunc’s branch.
GenFunction
Represents a function (its name, signature and entry point).
GenInvocation
An invocation statement.
LibfuncDeclaration
Declaration of a concrete library function.
Param
Descriptor of a variable.
Program
A full Sierra program.
ProgramArtifact
Sierra program in a form for storage on the filesystem and sharing externally.
StatementIdx
Represents the index of a Sierra statement in the Program::statements vector.
TypeDeclaration
Declaration of a concrete type.
Version

Enums§

GenBranchTarget
GenStatement
A possible statement.
GenericArg
Possible arguments for generic type.
VersionedProgram
Version-tagged representation of Sierra program.

Type Aliases§

BranchInfo
BranchTarget
Function
Invocation
Statement