Module Gvn::Cached

Import path

import semmle.code.csharp.Unification

getGlobalValueNumber	Gets the GVN for type `t`.
subsumes	Holds if GVN `t1` subsumes GVN `t2`. That is, it is possible to replace all type parameters in `t1` with some GVNs (possibly type parameters themselves) to make the two substituted terms equal.
unifiable	Holds if GVNs `t1` and `t2` can be unified. That is, it is possible to replace all type parameters in `t1` and `t2` with some GVNs (possibly type parameters themselves) to make the two substituted terms equal.