Documentation

Init.System.Platform

source
@[extern lean_system_platform_windows]
constant System.Platform.getIsWindows :
Unit → Bool
source
@[extern lean_system_platform_osx]
constant System.Platform.getIsOSX :
Unit → Bool
source
@[extern lean_system_platform_emscripten]
constant System.Platform.getIsEmscripten :
Unit → Bool
source
def System.Platform.isWindows :
Bool
Equations
source
def System.Platform.isOSX :
Bool
Equations
source
def System.Platform.isEmscripten :
Bool
Equations