Method Signature
    The signature of a method is the name
of the method, its parameter types and its return value type (there may
be more than one return value type). For example, the
method signature of
    
proc calc( x : integer; y : real ) : byte
is
    
calc(integer, real) : byte