15.4.1247  src/lib/std/src/win32/win32-process.pkg

## win32-process.pkg



# Hooks to Win32 process functions.



package win32_process
:       Win32_Process
{

        package W32G = win32_general

        fun cf name = W32G::cfun "win32_process" name

        my bin_sh'' : String -> W32G::word = cf "bin_sh"

        fun exitProcess (w: W32G::word) : X = cf "exit_process" w

        my getEnvironmentVariable' : String -> Null_Or( String )
           = 
           cf "get_environment_variable"

        my sleep' : W32G::word -> Void = cf "sleep"

        sleep = sleep' o W32G::unt::from_large_int o TimeImp::to_milliseconds
};


## COPYRIGHT (c) 1996 Bell Laboratories.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.