A | ||
---|---|---|
AllSignals | Table containing all signals | signal.str |
E | ||
Execute | n/a | file-abstractions.str |
Existence | n/a | file-abstractions.str |
P | ||
Pair(ATerm x, ATerm y) | Overlay for a pair, converts two terms to a 2-tuple | cons.str |
R | ||
Read | n/a | file-abstractions.str |
S | ||
SIGABRT | n/a | signal.str |
SIGALRM | n/a | signal.str |
SIGBUS | n/a | signal.str |
SIGCHLD | n/a | signal.str |
SIGCONT | n/a | signal.str |
SIGFPE | n/a | signal.str |
SIGHUP | n/a | signal.str |
SIGILL | n/a | signal.str |
SIGINT | n/a | signal.str |
SIGKILL | n/a | signal.str |
SIGPIPE | n/a | signal.str |
SIGPOLL | n/a | signal.str |
SIGPROF | n/a | signal.str |
SIGQUIT | n/a | signal.str |
SIGSEGV | n/a | signal.str |
SIGSTOP | n/a | signal.str |
SIGSYS | n/a | signal.str |
SIGTERM | n/a | signal.str |
SIGTRAP | n/a | signal.str |
SIGTSTP | n/a | signal.str |
SIGTTIN | n/a | signal.str |
SIGTTOU | n/a | signal.str |
SIGURG | n/a | signal.str |
SIGUSR1 | n/a | signal.str |
SIGUSR2 | n/a | signal.str |
SIGVTALRM | n/a | signal.str |
SIGXCPU | n/a | signal.str |
SIGXFSZ | n/a | signal.str |
W | ||
Write | n/a | file-abstractions.str |