Lean 语言参考手册

21.6. 系统与平台信息🔗

🔗定义
System.Platform.numBits : Nat
System.Platform.numBits : Nat

当前平台的字长，可能为 64 位或 32 位。

🔗定义
System.Platform.target : String
System.Platform.target : String

当前平台的 LLVM 目标三元组。若 Lean 编译时缺失，则为空。

🔗定义
System.Platform.isWindows : Bool
System.Platform.isWindows : Bool

当前平台是 Windows 吗？

🔗定义
System.Platform.isOSX : Bool
System.Platform.isOSX : Bool

当前平台是 macOS 吗？

🔗定义
System.Platform.isEmscripten : Bool
System.Platform.isEmscripten : Bool

当前平台是 Emscripten 吗？