basis-library/system/process.sig

   1 signature OS_PROCESS =
   2    sig
   3       type status
   4
   5       val atExit: (unit -> unit) -> unit
   6       val exit: status -> 'a
   7       val failure: status
   8       val getEnv: string -> string option
   9       val isSuccess: status -> bool
  10       val sleep: Time.time -> unit
  11       val success: status
  12       val system: string -> status
  13       val terminate: status -> 'a
  14    end
  15
  16 signature OS_PROCESS_EXTRA =
  17    sig
  18       include OS_PROCESS
  19
  20       structure Status:
  21          sig
  22             type t = status
  23
  24             val fromInt: int -> t
  25             val fromPosix: Posix.Process.exit_status -> t
  26          end
  27    end