def Parser.Attr.dummy_label_attr : Lean.ParserDescr

A dummy label attribute, which can be used for testing.

Equations

• Parser.Attr.dummy_label_attr = Lean.ParserDescr.node `Parser.Attr.dummy_label_attr 1024 (Lean.ParserDescr.nonReservedSymbol "dummy_label_attr" false)