src/Pure/System/process_result.ML

--- a/src/Pure/System/process_result.ML	Sat Aug 07 21:25:47 2021 +0200
+++ b/src/Pure/System/process_result.ML	Sat Aug 07 22:23:37 2021 +0200
@@ -6,6 +6,8 @@
 
 signature PROCESS_RESULT =
 sig
+  val interrupt_rc: int
+  val timeout_rc: int
   type T
   val make:
    {rc: int,
@@ -27,6 +29,9 @@
 structure Process_Result: PROCESS_RESULT =
 struct
 
+val interrupt_rc = 130
+val timeout_rc = 142
+
 abstype T =
   Process_Result of
    {rc: int,