FluxML
Calling SSAValues `var` and "variables" is confusing
When I saw "variables" in the docs, As in:
The IR can be viewed as a mapping from variables to statements, and indexing and iteration are consistent with that.
I assumed it was talking about slots.
But it isn't, it is talking about SSAValue.
(and SSAValues never vary)
They are variables in the same sense that variables in mathematics or functional languages are; they are placeholders which take on different values between invocations. If there's a better name we could switch to that, or perhaps just define this clearly, if we're not already.
Are slots, also variables?
If not, SSAVars, SingleAssigmentVariables, StatementValues.
I like StatementValues.