/usr/lib/ocaml/pxp-engine/pxp_top.mli is in libpxp-ocaml-dev 1.2.4-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 | (* $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.
*)
|