Understanding Lean's Parser

Stream: lean4

[Akhil Reddimalla]

I want to run Lean's parser to see how it works, how do I actually run the parsers in Lean.Parser.Command? Do I have to figure out a way to construct a parser state and context or is there an easier way?

[Mario Carneiro]

see docs#Lean.Parser.runParserCategory