(* $Id: pxp_top.mli,v 1.1 2001/06/09 22:15:04 gerd Exp $
 * ----------------------------------------------------------------------
 *
 *)

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

(* ======================================================================
 * History:
 * 
 * $Log: pxp_top.mli,v $
 * Revision 1.1  2001/06/09 22:15:04  gerd
 * 	Added Pxp_top.
 *
 * 
 *)