Smatchcube's website 🌍


Exercise 2.77

Let’s define z:

Here is how (magnitude z) is evaluated:

The magnitude procedure is dispatched two times, a first time with the complex type and a second time with the rectangular type.