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.