Return to standard_integer_ring.ads CVS log

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

Initial revision

with Standard_Integer_Numbers;           use Standard_Integer_Numbers;
with Abstract_Ring;

package Standard_Integer_Ring is
  new Abstract_Ring(integer,0,1,Create,Equal,Copy,"+","+","-","-","*",
                    Add,Sub,Min,Mul,Clear);

-- DESCRIPTION :
--   Defines the ring of standard integer numbers.