This chapter provides documentation on the single \ML\ function that is made
available in \HOL\ when the \ml{parser} library is loaded.  This documentation
is also available online via the \ml{help} facility.


