Next: Address Type, Previous: Temporal Types, Up: Values
The port
type corresponds to a TCP or UDP port number. TCP and
UDP ports are distinct. Thus, a value of type port
can hold either
a TCP or a UDP port, but at any given time it is holding exactly one of
these.