Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature POSIX_SYS_DB = |
2 | sig | |
3 | eqtype uid | |
4 | eqtype gid | |
5 | ||
6 | structure Passwd: | |
7 | sig | |
8 | type passwd | |
9 | val name: passwd -> string | |
10 | val uid: passwd -> uid | |
11 | val gid: passwd -> gid | |
12 | val home: passwd -> string | |
13 | val shell: passwd -> string | |
14 | end | |
15 | ||
16 | structure Group: | |
17 | sig | |
18 | type group | |
19 | val name: group -> string | |
20 | val gid: group -> gid | |
21 | val members: group -> string list | |
22 | end | |
23 | ||
24 | val getgrgid: gid -> Group.group | |
25 | val getgrnam: string -> Group.group | |
26 | val getpwuid: uid -> Passwd.passwd | |
27 | val getpwnam: string -> Passwd.passwd | |
28 | end |