This code is in builti.go
:
// The append built-in function appends elements to the end of a slice. If
// it has sufficient capacity, the destina
The code in builtin.go serves as documentation. The code is not compiled.
The ...
specifies that the final parameter of the function is variadic. Variadic functions are documented in the Go Language specification. In short, variadic functions can be called with any number of arguments for the final parameter.
The Type part is a stand-in for any Go type.