Exit
val success_code : unit -> int
val failure_code : unit -> int
val success_code : int
val failure_code : int
val success : unit -> 'a
val failure : unit -> 'a
val is_posix : bool