Lean 语言参考

21.7. 环境变量🔗

🔗opaque

Returns the value of the environment variable var, or none if it is not present in the environment.