Lean 语言参考手册

21.7. 环境变量🔗

不透明定义

IO.getEnv (var : String) : BaseIO (Option String)
IO.getEnv (var : String) :
  BaseIO (Option String)

返回环境变量 var 的值；如果它不存在于环境中，则返回 none。