src/Pure/library.ML

   (*misc*)
   val partition_eq: ('a * 'a -> bool) -> 'a list -> 'a list list
   val partition_list: (int -> 'a -> bool) -> int -> int -> 'a list -> 'a list list
   val gensym: string -> string
   val scanwords: (string -> bool) -> string list -> string list
-  val string_of_pid: Posix.Process.pid -> string
   type stamp
   val stamp: unit -> stamp
   type serial
   val serial: unit -> serial
   structure Object: sig type T end

 
 fun gensym pre = pre ^ (#1(newid (!seedr), inc seedr));
 
 end;
 
-(*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));
-
 
 (* lexical scanning *)
 
 (*scan a list of characters into "words" composed of "letters" (recognized by
   is_let) and separated by any number of non-"letters"*)