For a generic procedure, the signature includes the number of type parameters.

• 对于泛型过程,签名包括类型参数的数量。