to those values. A type may be denoted by a <i>type name</i>, if it has one,
or specified using a <i>type literal</i>, which composes a type from existing types.
</p>

<pre class="ebnf">
Type      = TypeName | TypeLit | "(" Type ")" .
TypeName  = identifier | QualifiedIdent .
TypeLit   = ArrayType | StructType | PointerType | FunctionType | InterfaceType |
	    SliceType | MapType | ChannelType .
</pre>

<p>

pkg go/types, func NewSignature //deprecated
pkg go/types, func NewSignatureType(*Var, []*TypeParam, []*TypeParam, *Tuple, *Tuple, bool) *Signature
pkg go/types, func NewTerm(bool, Type) *Term
pkg go/types, func NewTypeParam(*TypeName, Type) *TypeParam
pkg go/types, func NewUnion([]*Term) *Union
pkg go/types, method (*ArgumentError) Error() string
pkg go/types, method (*ArgumentError) Unwrap() error
pkg go/types, method (*Interface) IsComparable() bool

pkg syscall (darwin-arm64), type Statfs_t struct, Fsid Fsid
pkg syscall (darwin-arm64), type Statfs_t struct, Fssubtype uint32
pkg syscall (darwin-arm64), type Statfs_t struct, Fstypename [16]int8
pkg syscall (darwin-arm64), type Statfs_t struct, Iosize int32
pkg syscall (darwin-arm64), type Statfs_t struct, Mntfromname [1024]int8
pkg syscall (darwin-arm64), type Statfs_t struct, Mntonname [1024]int8

pkg syscall (freebsd-arm64), type Statfs_t struct, Flags uint64
pkg syscall (freebsd-arm64), type Statfs_t struct, Fsid Fsid
pkg syscall (freebsd-arm64), type Statfs_t struct, Fstypename [16]int8
pkg syscall (freebsd-arm64), type Statfs_t struct, Iosize uint64
pkg syscall (freebsd-arm64), type Statfs_t struct, Mntfromname [1024]int8
pkg syscall (freebsd-arm64), type Statfs_t struct, Mntonname [1024]int8

pkg syscall (freebsd-riscv64), type Statfs_t struct, Flags uint64 #53466
pkg syscall (freebsd-riscv64), type Statfs_t struct, Fsid Fsid #53466
pkg syscall (freebsd-riscv64), type Statfs_t struct, Fstypename [16]int8 #53466
pkg syscall (freebsd-riscv64), type Statfs_t struct, Iosize uint64 #53466
pkg syscall (freebsd-riscv64), type Statfs_t struct, Mntfromname [1024]int8 #53466

A type may also be specified using a <i>type literal</i>, which composes a type
from existing types.
</p>

<pre class="ebnf">
Type      = TypeName [ TypeArgs ] | TypeLit | "(" Type ")" .
TypeName  = identifier | QualifiedIdent .
TypeArgs  = "[" TypeList [ "," ] "]" .
TypeList  = Type { "," Type } .
TypeLit   = ArrayType | StructType | PointerType | FunctionType | InterfaceType |

pkg go/ast, type Object //deprecated #52463
pkg go/ast, type Package //deprecated #52463
pkg go/ast, type Scope //deprecated #52463
pkg go/types, func NewAlias(*TypeName, Type) *Alias #63223
pkg go/types, func Unalias(Type) Type #63223
pkg go/types, method (*Alias) Obj() *TypeName #63223
pkg go/types, method (*Alias) String() string #63223
pkg go/types, method (*Alias) Underlying() Type #63223

			w.emitf("var %s //deprecated", obj.Name())
		}
		w.emitf("var %s %s", obj.Name(), w.typeString(obj.Type()))
	case *types.TypeName:
		w.emitType(obj)
	case *types.Func:
		w.emitFunc(obj)
	default:
		panic("unknown object: " + obj.String())
	}
}

func (w *Walker) emitType(obj *types.TypeName) {
	name := obj.Name()
	if w.isDeprecated(obj) {
		w.emitf("type %s //deprecated", name)
	}
	typ := obj.Type()