Documentation
Lilac
.
Map
Search
return to top
source
Imports
Init
Imported by
«term_<$>__1»
source
def
«term_<$>__1»
:
Lean.TrailingParserDescr
Equations
«term_<$>__1»
=
Lean.ParserDescr.trailingNode
`«term_<$>__1»
100
100
(
Lean.ParserDescr.binary
`andthen
(
Lean.ParserDescr.symbol
" <$> "
)
(
Lean.ParserDescr.cat
`term
101
)
)
Instances For