Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature OS_PROCESS_1997 = |
2 | sig | |
3 | (* VIOLATION *) | |
4 | (* | |
5 | eqtype status | |
6 | *) | |
7 | type status | |
8 | ||
9 | val atExit: (unit -> unit) -> unit | |
10 | val exit: status -> 'a | |
11 | val failure: status | |
12 | val getEnv: string -> string option | |
13 | val success: status | |
14 | val system: string -> status | |
15 | val terminate: status -> 'a | |
16 | end |