1 signature POSIX_PROCESS =
12 datatype exit_status =
14 | W_EXITSTATUS of Word8.word
15 | W_SIGNALED of signal
18 datatype killpid_arg =
23 datatype waitpid_arg =
29 val alarm: Time.time -> Time.time
30 val exec: string * string list -> 'a
31 val exece: string * string list * string list -> 'a
32 val execp: string * string list -> 'a
33 val exit: Word8.word -> 'a
34 val fork: unit -> pid option
35 val fromStatus: OS.Process.status -> exit_status
36 val kill: killpid_arg * signal -> unit
37 val pause: unit -> unit
38 val pidToWord: pid -> SysWord.word
39 val sleep: Time.time -> Time.time
40 val wait: unit -> pid * exit_status
41 val waitpid: waitpid_arg * W.flags list -> pid * exit_status
42 val waitpid_nh: waitpid_arg * W.flags list -> (pid * exit_status) option
43 val wordToPid: SysWord.word -> pid
46 signature POSIX_PROCESS_EXTRA =
49 val fromStatus': C_Status.t -> exit_status