The word size of the current platform, which may be 64 or 32 bits.
15.6. System and Platform Information
def
System.Platform.target : String
The LLVM target triple of the current platform. Empty if missing when Lean was compiled.