| go/types | Package types declares the data types and implements the algorithms for type-checking of Go packages. |
| golang.org/x/tools/go/ssa | Package ssa defines a representation of the elements of Go programs (packages, types, functions, variables and constants) using a static single-assignment (SSA) form intermediate representation (IR) for the bodies of functions. |
| golang.org/x/tools/go/types/typeutil | Package typeutil defines various utilities for types, such as Map, a hash table that maps types.Type to any value. |