Camlp4 is a Pre-Processor-Pretty-Printer for Objective Caml. It offers
syntactic library tools and the ability to extend and/or redefine the
concrete syntax of Objective Caml.

WWW: http://caml.inria.fr/camlp4/