Lines Matching defs:Process
6 structure Process = OS.Process
30 Process.exit Process.failure
57 fun SYSTEML clist = Process.isSuccess (Systeml.systeml clist)
71 Process.exit Process.success)
726 OS.Process.system(pfp [HOLDIR, "bin", "hol"] ^ " < " ^
729 if OS.Process.isSuccess result then ()
875 Process.exit Process.success
885 Process.exit Process.success)
972 val () = OS.Process.atExit (fn () => finish_logging false)