The go/types package is a type-checker for Go programs. It is one of the mostcomplex packages in Go's standard library, so we have provided this tutorial tohelp you find your bearings. It comes with several example programs that youcan obtain using go get and play with as you learn to build tools that analyzeor manipulate Go programs.