Chapter 3: Grammars
Camlp4's grammar system is a way to parse streams with more power and
more convenience than simple stream parsers. A grammar deals with
operator precedences and associativity, and left factorization, and
its entries are extensible.