bsp;:&nbsp;string&nbsp;-&gt;&nbsp;string&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;type&nbsp;process_status&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;Unix.process_status&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;WEXITED&nbsp;of&nbsp;int
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;WSIGNALED&nbsp;of&nbsp;int
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;WSTOPPED&nbsp;of&nbsp;int
&nbsp;&nbsp;type&nbsp;wait_flag&nbsp;=&nbsp;Unix.wait_flag&nbsp;=&nbsp;WNOHANG&nbsp;|&nbsp;WUNTRACED
&nbsp;&nbsp;val&nbsp;execv&nbsp;:&nbsp;prog:string&nbsp;-&gt;&nbsp;args:string