Introduction to PSF


Upon import of a module, visible objects in this module can be renamed. A renaming construct specifies a list of pairs consisting of an old visible name and a new visible name. It has the following layout.
        Module {
            renamed by [
                a -> b,
If a renaming is applied to an overloaded name, all instances of this name will be renamed.