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;};