Type Alias Invocation

pub type Invocation = GenInvocation<StatementIdx>;

Aliased Type

struct Invocation {
    pub libfunc_id: ConcreteLibfuncId,
    pub args: Vec<VarId>,
    pub branches: Vec<GenBranchInfo<StatementIdx>>,
}

Fields

libfunc_id: ConcreteLibfuncId

The called libfunc.

args: Vec<VarId>

The arguments consumed by the libfunc’s invocation.

branches: Vec<GenBranchInfo<StatementIdx>>

The possible branches to continue to after the invocation. The program would continue to exactly one of the branches.