A quotation expander is provided in the file ``q_MLast.cmo''
allowing to create abstract syntax tree nodes from concrete righteous
syntax. It is used in language syntax extensions
(chapter 4).
Another quotation expander provided is ``q_phony.cmo''. It
transforms all quotations into variables whose name holds all the text
of the quotation, << and >> included. It is useful for
pretty printing programs with the quotations not expanded.