Question

What is the difference between function, method, function method, and function by method?

Answer

The names of these alternatives will be changing between Dafny 3 and Dafny 4:

Note that