A global value number for a type. Two types have the same GVN when they
are structurally equal modulo type parameters and identity conversions.
For example, Func<T, int> and Func<S, int> have the same GVN, but
Func<T, int> and Func<string, int> do not.
Import path
import semmle.code.csharp.UnificationDirect supertypes
Known direct subtypes
Predicates
| getKind | Gets the compound type kind of this GVN, if any. |
| getLocation | Gets the location of this GVN. |
| toString | Gets a textual representation of this GVN. |