Documentation

Create a localised variant of a name, using the provided function to transform its OccName.

If the name external, encode the orignal name's module into the new OccName. The result is always an internal system name.

Produce the vectorised variant of an Id with the given vectorised type, while taking care that vectorised dfun ids must be dfuns again.

Force the new name to be a system name and, if the original was an external name, disambiguate the new name with the module name of the original.

Make a fresh instance of this var, with a new unique.

Make a fresh exported variable with the given type.

Make a fresh local variable with the given type. The variable's name is formed using the given string as the prefix.

Make several fresh local variables with the given types. The variable's names are formed using the given string as the prefix.

Make a new local dummy variable.

Make a fresh type variable with the given kind. The variable's name is formed using the given string as the prefix.

Mkae a fresh coercion variable with the given kind.