Up

module Num_top

: sig

Load this module in the toplevel to install printers for the following types defined in the "num" library:

No functions exported.

Copyright (C) 2003 Stefano Zacchiroli <zack

Debian .org>
end