@[extern lean_system_platform_windows]

opaque System.Platform.getIsWindows : Unit → Bool

@[extern lean_system_platform_osx]

opaque System.Platform.getIsOSX : Unit → Bool

@[extern lean_system_platform_emscripten]

opaque System.Platform.getIsEmscripten : Unit → Bool

def System.Platform.isWindows : Bool

Equations

• System.Platform.isWindows = System.Platform.getIsWindows ()

def System.Platform.isOSX : Bool

Equations

• System.Platform.isOSX = System.Platform.getIsOSX ()

def System.Platform.isEmscripten : Bool

Equations

• System.Platform.isEmscripten = System.Platform.getIsEmscripten ()