(* $Id: pxp_top.mli 662 2004-05-25 20:57:28Z gerd $
 * ----------------------------------------------------------------------
 *
 *)

(* You may load this module into the toploop in order to install
 * the printers for the various opaque data types of PXP.
 *)

