Synopsis Process Identifiers (PID).
Types
alias PID = int;
Usage
import util::ShellExec;
Description Process IDentifiers (PIDs) are used to identify external processes.
A PID is returned by createProcess and is required for any further interaction with the created process.