p;-&gt;&nbsp;int&nbsp;list&nbsp;-&gt;&nbsp;int&nbsp;list
&nbsp;&nbsp;val&nbsp;sigpending&nbsp;:&nbsp;unit&nbsp;-&gt;&nbsp;int&nbsp;list
&nbsp;&nbsp;val&nbsp;sigsuspend&nbsp;:&nbsp;int&nbsp;list&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;val&nbsp;pause&nbsp;:&nbsp;unit&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;type&nbsp;process_times&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;Unix.process_times&nbsp;=&nbsp;{
&nbsp;&nbsp;&nbsp;&nbsp;tms_utime&nbsp;:&nbsp;float;
&nbsp;&nbsp;&nbsp;&nbsp;tms_stime&nbsp;:&nbsp;float;
&nbsp;&nbsp;&nbsp;&nbsp;tm