&nbsp;|&nbsp;SO_SNDTIMEO
&nbsp;&nbsp;val&nbsp;getsockopt&nbsp;:
&nbsp;&nbsp;&nbsp;&nbsp;UnixLabels.file_descr&nbsp;-&gt;&nbsp;UnixLabels.socket_bool_option&nbsp;-&gt;&nbsp;bool
&nbsp;&nbsp;val&nbsp;setsockopt&nbsp;:
&nbsp;&nbsp;&nbsp;&nbsp;UnixLabels.file_descr&nbsp;-&gt;&nbsp;UnixLabels.socket_bool_option&nbsp;-&gt;&nbsp;bool&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;val&nbsp;getsockopt_int&nbsp;:
&nbsp;&nbsp;&nbsp;&nbsp;UnixLabels.file_descr&nbsp;-&gt;&nbsp;UnixLabels.socket_int_option&nbsp;-&gt;&nbsp;int
&nbsp;&n