def Parser.Attr.dummy_label_attr : Lean.ParserDescr

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