num_top.mli 429 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
(* Taken from findlib.  Findlib is copyright 1999 by Gerd Stolpmann and
  distributed under the terms given in file LICENSE-findlib in this
  directory. *)

(*
  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>
*)