-
Notifications
You must be signed in to change notification settings - Fork 2
/
user_group_3_6.mli
33 lines (27 loc) · 1.32 KB
/
user_group_3_6.mli
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
28
29
30
31
32
33
(***********************************************************************)
(* Cash *)
(* *)
(* Bruno Verlyck, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 2002 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the GNU Lesser General Public License. *)
(* *)
(* Cash is based on Scsh, by Olin Shivers. *)
(***********************************************************************)
type user_info =
{ ui_name : string;
ui_uid : int;
ui_gid : int;
ui_home_dir : string;
ui_shell : string }
;
value user_info : int -> user_info;
value user_info_name : string -> user_info;
value username_to_uid : string -> int;
value uid_to_username : int -> string;
type group_info = { gi_name : string; gi_gid : int; gi_members : list string };
value group_info : int -> group_info;
value group_info_name : string -> group_info;
value groupname_to_gid : string -> int;
value gid_to_groupname : int -> string;