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
        source
        @[extern lean_system_platform_target]
        opaque System.Platform.getTarget :
        Unit → String
        source
        def System.Platform.target :
        String

        The LLVM target triple of the current platform. Empty if missing at Lean compile time.

        Equations
        Instances For