Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature POSIX_PROC_ENV = |
2 | sig | |
3 | eqtype pid | |
4 | eqtype uid | |
5 | eqtype gid | |
6 | eqtype file_desc | |
7 | ||
8 | val uidToWord: uid -> SysWord.word | |
9 | val wordToUid: SysWord.word -> uid | |
10 | val gidToWord: gid -> SysWord.word | |
11 | val wordToGid: SysWord.word -> gid | |
12 | val getpid : unit -> pid | |
13 | val getppid: unit -> pid | |
14 | val getuid : unit -> uid | |
15 | val geteuid: unit -> uid | |
16 | val getgid : unit -> gid | |
17 | val getegid: unit -> gid | |
18 | val setuid: uid -> unit | |
19 | val setgid: gid -> unit | |
20 | val getgroups: unit -> gid list | |
21 | val getlogin: unit -> string | |
22 | val getpgrp: unit -> pid | |
23 | val setsid: unit -> pid | |
24 | val setpgid: {pid: pid option, pgid: pid option} -> unit | |
25 | val uname: unit -> (string * string) list | |
26 | val time: unit -> Time.time | |
27 | val times: unit -> {elapsed: Time.time, | |
28 | utime: Time.time, | |
29 | stime: Time.time, | |
30 | cutime: Time.time, | |
31 | cstime: Time.time} | |
32 | val getenv: string -> string option | |
33 | val environ: unit -> string list | |
34 | val ctermid: unit -> string | |
35 | val ttyname: file_desc -> string | |
36 | val isatty: file_desc -> bool | |
37 | val sysconf: string -> SysWord.word | |
38 | end |