Documentation

Lean.Compiler.Options