Up Next
Introduction
Camlp4 is a Pre-Processor-Pretty-Printer for OCaml. It offers syntactic tools (parsers, extensible grammars), the ability to extend the concrete syntax of OCaml (quotations, syntax extensions), and to redefine it from scratch.

This document holds the directions for use of Camlp4 and describes these features. It is written for programmers who already know OCaml, and are interested in concrete syntax.

Here are the contents of the present document: The ``4'' in ``Camlp4'' comes from the four ``P'' in its definition ``Pre-Processor-Pretty-Printer''.



Up Next