You can call a generic procedure without supplying any type arguments at all.

• 可以调用泛型过程,而不需提供任何类型变量。