src/Pure/ML-Systems/smlnj.ML

 
 (*plain version; with return code*)
 val system = OS.Process.system: string -> int;
 
 
+(*Convert a process ID to a decimal string (chiefly for tracing)*)
+fun string_of_pid pid = 
+    Word.fmt StringCvt.DEC (Word.fromLargeWord (Posix.Process.pidToWord pid));
+
+
 (* getenv *)
 
 fun getenv var =
   (case OS.Process.getEnv var of
     NONE => ""