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.
port