An operator indication is said to be overloaded
if it could denote any one of several operations.
For example, the operator indication represented by
+ might denote
either the integer addition operator or the floating point addition operator;
the operator indication represented by the procedure identifier
might denote either an integer or a floating point square root operation.
The actual operator denoted in a given context is determined by the types of
the operands and the required result type.
The type analysis modules discussed in this document all support overloading: Any number of operators can be associated with the same indication.