Documentation

Init.System.Platform

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
Equations
Instances For
    source
    def System.Platform.isOSX :
    Bool
    Equations
    Instances For
      source
      def System.Platform.isEmscripten :
      Bool
      Equations
      Instances For