The port
type corresponds to transport-level port numbers.
Besides TCP or UDP ports, these can also be ICMP “ports”, where the
source port is the ICMP message type and the destination port the ICMP
message code. Furthermore, the transport-level protocol of a port can
remain unspecified. In any case, a value of type port
represents exactly one of those four transport protocol choices.