Aliases:

A signature is required for an alias of a subprogram or an enumeration literal where the type of the value returned by alias may not discernible. A signature resolves any ambiguities caused by overloaded subprogram names and overloaded enumeration literals. A signature is indicated by a set of outer brackets, "[" and "]", and shows the appropriate type.

[Bhasker95]