type 'a t
val unit : unit t
val int : int t
val string : string t
val process_status : Unix.process_status t
val fd : Unix.file_descr t
val stats : Unix.LargeFile.stats t
val dir_handle : Unix.dir_handle t
val pair : 'a t ‑> 'b t ‑> ('a * 'b) t