s="constructor">ITIMER_PROF</span><br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;interval_timer_status&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Unix</span>.interval_timer_status&nbsp;=&nbsp;{<br>
&nbsp;&nbsp;&nbsp;&nbsp;it_interval&nbsp;:&nbsp;float;<br>
&nbsp;&nbsp;&nbsp;&nbsp;it_value&nbsp;:&nbsp;float;<br>
&nbsp;&nbsp;}<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;getitimer&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">UnixLabels</span>.interval_timer&