15.3.575  src/lib/std/src/win32/win32-process.api

## win32-process.api




# Api for hooks to Win32 process functions.



api Win32_Process = 
    api
        my bin_sh'' : String -> win32_general::word
        my exitProcess:  win32_general::word -> X
        my getEnvironmentVariable' : String -> Null_Or( String )
        my sleep:  time::time -> Void
    end


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