
 
    class type ug_admin =object..end
method getpwnam : string -> Unix.passwd_entrymethod getpwuid : int -> Unix.passwd_entrymethod getgrnam : string -> Unix.group_entrymethod getgrgid : int -> Unix.group_entrymethod getgroups : string -> Plasma_util.StrSet.tgetgroups user: Returns the set of effective group
	memberships for usermethod users : Unix.passwd_entry listmethod groups : Unix.group_entry listmethod add_group : Unix.group_entry -> unit
	It is not checked whether the group members exist.
method del_group : string -> unitmethod add_user : Unix.passwd_entry -> unitmethod del_user : string -> unitmethod admin_tables : (string * string) list(table_name,table_contents).