Next: Conversion, Previous: Procedures, Up: Top
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 sqrt
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.