For a channel c, the predefined function close(c) marks the channel as unable to accept more values through a send operation. After any previously sent values have been received, receive operations will return the zero value for the channel's type. After at least one such zero value has been received, closed(c) returns true.