This means that a compiler warning does not occur if the body of the method does not refer to a specialized parameter, while a warning might occur if the body of the method does not refer to an unspecialized parameter. For this reason, a parameter that specializes on t is not quite synonymous with an unspecialized parameter in this context. Declarations at the head of the method body that apply to the method's lambda variables are treated as bound declarations whose scope is the same as the corresponding bindings . The scope of free declarations at the head of the method body is the entire method body, which includes any implicit local function definitions but excludes initialization forms for the lambda variables . In particular, the methods are not installed for invocation during compilation.
Documentation is attached as a documentation string to the method object .
The definition of the referenced generic function . If a generic function is currently named by function-name , the lambda list of the method must be congruent with the lambda list of the generic function , or an error of type error is signaled. All Rights Reserved.