(* $Id: num_top.mli 49 2003-12-30 09:48:02Z gerd $
 * ----------------------------------------------------------------------
 *
 *)

(**
  Load this module in the toplevel to install printers for the following types
  defined in the "num" library:
    - Nat.nat
    - Big_int.big_int
    - Ratio.ratio
    - Num.num

  No functions exported.

  Copyright (C) 2003  Stefano Zacchiroli <zack@debian.org>
*)

