|
|
|---|
|
|
|
|---|
Fixtype of unique identifiers.
This is a product type introduced by fty::defprod.
These are numerical identifiers which are intended
to be unique to a given variable, function, type name, etc.
E.g., there may be many variables throughout a program
with the name
Unique identifiers are assigned during validation to aid subsequent analysis. By annotating identifiers with their unique alias, disambiguation of variables becomes trivial.