Lines Matching refs:signal
24 type signal
28 | W_SIGNALED (* sic *) of signal
29 | W_STOPPED of signal
40 val kill : ('a, 'b) proc * signal -> unit
50 type signal = Posix.Signal.signal
62 val kill : ('a, 'b) proc * signal -> unit
73 type signal = Posix.Signal.signal
78 fun kill({pid, ... }: ('a, 'b) proc, signal) =
79 Posix.Process.kill(Posix.Process.K_PROC pid, signal)