1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
signature OS_PROCESS =
sig
type status
val atExit: (unit -> unit) -> unit
val exit: status -> 'a
val failure: status
val getEnv: string -> string option
val isSuccess: status -> bool
val sleep: Time.time -> unit
val success: status
val system: string -> status
val terminate: status -> 'a
end
signature OS_PROCESS_EXTRA =
sig
include OS_PROCESS
structure Status:
sig
type t = status
val fromInt: int -> t
val fromPosix: Posix.Process.exit_status -> t
end
end
|
