Documentation
DY
.
Meta
.
Clarify
Search
return to top
source
Imports
Init
Imported by
clarify
source
def
clarify
:
Lean.ParserDescr
Equations
clarify
=
Lean.ParserDescr.node
`clarify
1024
(
Lean.ParserDescr.nonReservedSymbol
"clarify "
false
)
Instances For