The Avail Programming Language

Method Implementation

An implementation of a method is a function defined with the same name (and consequently the same number and order of parameters) as the method. Each implementation defined for a method will have distinct parameter typing -- at least one parameter must be specified as a proper subtype, proper supertype or unrelated type as compared with that parameter in every other implementation. This achieves method overloading.

References: An in-depth look at function implementations