10.6. System and Platform Information🔗

🔗def
System.Platform.numBits : Nat

Gets the word size of the platform. That is, whether the platform is 64 or 32 bits.

🔗def
System.Platform.target : String

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

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