Documentation
Lean.Compiler.Options
Google site search
Lean.Compiler.Options
source
Imports
Init
Lean.Data.Options
Lean.Util.Trace
Imported by
Lean.Compiler.compiler.check
source
opaque
Lean.Compiler.compiler.check
:
Lean.Option
Bool