Return to standard_natural_ring_io.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers / standard_natural_ring_io.ads (download)
Revision 1.1, Sun Oct 29 17:45:26 2000 UTC (23 years, 9 months ago) by maekawa
Initial revision |
with Standard_Natural_Numbers_io; with Standard_Natural_Ring; with Abstract_Ring_io; package Standard_Natural_Ring_io is new Abstract_Ring_io(Standard_Natural_Ring, Standard_Natural_Numbers_io.get, Standard_Natural_Numbers_io.put, Standard_Natural_Numbers_io.put); -- DESCRIPTION : -- Defines the input/output for the ring of standard natural numbers.