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))