PreviousUpNext

14.3.8  Posix_Signal

The standard library Posix_Signal api is a sub-API of the Posix_1003_1b API.

The above information is manually maintained and may contain errors.

api {    eqtype Signal ;
    to_unt : Signal -> one_word_unt::Unt;
    from_unt : one_word_unt::Unt -> Signal;
    abrt : Signal;
    alrm : Signal;
    fpe : Signal;
    hup : Signal;
    ill : Signal;
    int : Signal;
    kill : Signal;
    pipe : Signal;
    quit : Signal;
    segv : Signal;
    term : Signal;
    usr1 : Signal;
    usr2 : Signal;
    chld : Signal;
    cont : Signal;
    stop : Signal;
    tstp : Signal;
    ttin : Signal;
    ttou : Signal;
    bus : Signal;
};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext