Signature

A parameter signature, see the documentation of Signature for more information.

The names of the product elements

The name of the type

The signature of a method with no parameters and result type resultType.

The resulting value is only cacheable if isUnderDefined == false, otherwise the signature will change once the contained type variables have been instantiated.

The signature of everything that's not a method, i.e. that has a type different from PolyType or MethodType.

The signature of an overloaded denotation.