 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
ä |
Some
operations affect more than one
|
|
|
|
entity.
Logically, a function returns more
|
|
|
|
than
one value
|
|
|
ä |
Stack
pop operation returns both the value
|
|
|
|
popped
from the stack AND the modified
|
|
|
|
stack
|
|
|
ä |
May
be modeled algebraically using
|
|
|
|
multiple
operations (TOP and RETRACT
|
|
|
|
for a
stack) but a more intuitive approach
|
|
|
|
is
to define operations which return a tuple
|
|
|
rather
than a single value
|
|