HepLean Documentation

Init.System.Platform

@[extern lean_system_platform_windows]
@[extern lean_system_platform_osx]
@[extern lean_system_platform_emscripten]
@[extern lean_system_platform_target]

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

Equations
Instances For