Return to multprec_natural_ring_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/multprec_natural_ring_io.ads, Revision 1.1.1.1

1.1       maekawa     1: with Multprec_Natural_Numbers_io;
                      2: with Multprec_Natural_Ring;
                      3: with Abstract_Ring_io;
                      4:
                      5: package Multprec_Natural_Ring_io is
                      6:   new Abstract_Ring_io(Multprec_Natural_Ring,
                      7:                        Multprec_Natural_Numbers_io.get,
                      8:                        Multprec_Natural_Numbers_io.put,
                      9:                        Multprec_Natural_Numbers_io.put);
                     10:
                     11: -- DESCRIPTION :
                     12: --   Defines the input/output for the ring of multi-precision natural numbers.