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