Documentation
Init
.
System
.
Platform
Search
Google site search
Init
.
System
.
Platform
source
Imports
Init.Data.Nat.Basic
Imported by
System
.
Platform
.
getIsWindows
System
.
Platform
.
getIsOSX
System
.
Platform
.
getIsEmscripten
System
.
Platform
.
isWindows
System
.
Platform
.
isOSX
System
.
Platform
.
isEmscripten
source
@[extern lean_system_platform_windows]
opaque
System
.
Platform
.
getIsWindows
:
Unit
→
Bool
source
@[extern lean_system_platform_osx]
opaque
System
.
Platform
.
getIsOSX
:
Unit
→
Bool
source
@[extern lean_system_platform_emscripten]
opaque
System
.
Platform
.
getIsEmscripten
:
Unit
→
Bool
source
def
System
.
Platform
.
isWindows
:
Bool
Instances For
source
def
System
.
Platform
.
isOSX
:
Bool
Instances For
source
def
System
.
Platform
.
isEmscripten
:
Bool
Instances For