I want to understand ParserDescr

Stream: general

[Asei Inoue]

I believe Lean.ParserDescr represents a parser.
Normally, we interact with it indirectly through the syntax command, but is it possible to write code that directly manipulates and combines values of type Lean.ParserDescr?
What kind of code can be written in that case?