Lines Matching refs:signal
76 eqtype signal
77 val toWord : signal -> SysWord.word
78 val fromWord : SysWord.word -> signal
79 val abrt : signal
80 val alrm : signal
81 val bus : signal
82 val fpe : signal
83 val hup : signal
84 val ill : signal
85 val int : signal
86 val kill : signal
87 val pipe : signal
88 val quit : signal
89 val segv : signal
90 val term : signal
91 val usr1 : signal
92 val usr2 : signal
93 val chld : signal
94 val cont : signal
95 val stop : signal
96 val tstp : signal
97 val ttin : signal
98 val ttou : signal
103 eqtype signal
117 | W_SIGNALED (* sic *) of signal | W_STOPPED of signal
135 val kill : killpid_arg * signal -> unit
556 where type signal = Signal.signal
587 (* Posix.Signal.signal is made the same as int so that we can
588 pass the values directly to our (non-standard) Signal.signal
591 where type Signal.signal = int
731 type signal = int
734 (* These signal values are probably defined to correspond
761 type signal = Signal.signal
770 | W_SIGNALED of signal | W_STOPPED of signal
886 function until a signal occurs or the time expires. *)
1697 (* Install the pretty printers for pid, uid, gid. Don't install one for signal