Writing methods at two levels

You can define new methods at either of two levels in Alice.

The procedure for writing and using methods at those two levels are very similar, but:

In any event, the two levels are commonly referred to as: