&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;Unix.shutdown_command&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;SHUTDOWN_RECEIVE
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;SHUTDOWN_SEND
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;SHUTDOWN_ALL
&nbsp;&nbsp;val&nbsp;shutdown&nbsp;:
&nbsp;&nbsp;&nbsp;&nbsp;UnixLabels.file_descr&nbsp;-&gt;&nbsp;mode:UnixLabels.shutdown_command&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;val&nbsp;getsockname&nbsp;:&nbsp;UnixLabels.file_descr&nbsp;-&gt;&nbsp;UnixLabels.sockaddr
&nbsp;&nbsp;val&nbsp;getpeername&nbsp;:&nbsp;UnixLabe