;&nbsp;int
&nbsp;&nbsp;val&nbsp;truncate&nbsp;:&nbsp;string&nbsp;-&gt;&nbsp;len:int&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;val&nbsp;ftruncate&nbsp;:&nbsp;UnixLabels.file_descr&nbsp;-&gt;&nbsp;len:int&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;type&nbsp;file_kind&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;Unix.file_kind&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;S_REG
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;S_DIR
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;S_CHR
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;S_BLK
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;S_LNK
&nbsp;&nbsp;&nbsp;&nbs