p;:&nbsp;unit&nbsp;-&gt;&nbsp;int
&nbsp;&nbsp;val&nbsp;nice&nbsp;:&nbsp;int&nbsp;-&gt;&nbsp;int
&nbsp;&nbsp;type&nbsp;file_descr&nbsp;=&nbsp;Unix.file_descr
&nbsp;&nbsp;val&nbsp;stdin&nbsp;:&nbsp;UnixLabels.file_descr
&nbsp;&nbsp;val&nbsp;stdout&nbsp;:&nbsp;UnixLabels.file_descr
&nbsp;&nbsp;val&nbsp;stderr&nbsp;:&nbsp;UnixLabels.file_descr
&nbsp;&nbsp;type&nbsp;open_flag&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;Unix.open_flag&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;O_RDONLY
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;O_WRONLY
