14.3.3  Posix_Etc

The standard library Posix_Etc api is a sub-API of the Posixlib api.

The above information is manually maintained and may contain errors.

api {    eqtype User_Id ;
    eqtype Group_Id ;
    package passwd : api {
                         Passwd ;
                         name : Passwd -> String;
                         uid : Passwd -> User_Id;
                         gid : Passwd -> Group_Id;
                         home : Passwd -> String;
                         shell : Passwd -> String;
                     };;
    package group : api {
                        Group ;
                        name : Group -> String;
                        gid : Group -> Group_Id;
                        members : Group -> List(String );
                    };;
    getgrgid : Group_Id -> group::Group;
    getgrnam : String -> group::Group;
    getpwuid : User_Id -> passwd::Passwd;
    getpwnam : String -> passwd::Passwd;
    Unt  = Unt;
    getgrgid__syscall : Unt -> (String , Unt , List(String ));
    set__getgrgid__ref : ({fun_name:String, 
                           io_call:Unt -> (String , Unt , List(String )), 
                           lib_name:String}
                          -> Unt -> (String , Unt , List(String ))) -> Void;
    getgrnam__syscall : String -> (String , Unt , List(String ));
    set__getgrnam__ref : ({fun_name:String, 
                           io_call:String -> (String , Unt , List(String )), 
                           lib_name:String}
                          -> String -> (String , Unt , List(String )))
                         -> Void;
    getpwuid__syscall : Unt -> (String , Unt , Unt , String , String);
    set__getpwuid__ref : ({fun_name:String, 
                           io_call:Unt -> (String , Unt , Unt , String , String), 
                           lib_name:String}
                          -> Unt -> (String , Unt , Unt , String , String))
                         -> Void;
    getpwnam__syscall : String -> (String , Unt , Unt , String , String);
    set__getpwnam__ref : ({fun_name:String, 
                           io_call:String -> (String , Unt , Unt , String , String), 
                           lib_name:String}
                          -> String -> (String , Unt , Unt , String , String))
                         -> Void;
};