;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;NI_NOFQDN
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;NI_NUMERICHOST
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;NI_NAMEREQD
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;NI_NUMERICSERV
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;NI_DGRAM
&nbsp;&nbsp;val&nbsp;getnameinfo&nbsp;:
&nbsp;&nbsp;&nbsp;&nbsp;UnixLabels.sockaddr&nbsp;-&gt;
&nbsp;&nbsp;&nbsp;&nbsp;UnixLabels.getnameinfo_option&nbsp;list&nbsp;-&gt;&nbsp;UnixLabels.name_info
&nbsp;&nbsp;type&nbsp;terminal_io&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;Unix.terminal_io&nbsp;=&nbsp;{
&nbs