Return true if variable, parameter and join point ids are unique
Equations
Instances For
@[inline]
Equations
Instances For
Apply a function f : VarId → VarId
to variable occurrences.
The following functions assume the IR code does not have variable shadowing.
Replace x
with y
in b
. This function assumes b
does not shadow x