Lean 语言参考手册

15.6. System and Platform Information🔗

🔗def
System.Platform.numBits : Nat
System.Platform.numBits : Nat

The word size of the current platform, which may be 64 or 32 bits.

🔗def
System.Platform.target : String
System.Platform.target : String

The LLVM target triple of the current platform. Empty if missing when Lean was compiled.

🔗def
System.Platform.isWindows : Bool
System.Platform.isWindows : Bool

Is the current platform Windows?

🔗def
System.Platform.isOSX : Bool
System.Platform.isOSX : Bool

Is the current platform macOS?

🔗def
System.Platform.isEmscripten : Bool
System.Platform.isEmscripten : Bool

Is the current platform Emscripten?