Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/standard_integer_vectors.ads, Revision 1.1.1.1
1.1 maekawa 1: with Standard_Integer_Ring;
2: with Generic_Vectors;
3:
4: package Standard_Integer_Vectors is new Generic_Vectors(Standard_Integer_Ring);
5:
6: -- DESCRIPTION :
7: -- Defines vectors over the ring of standard natural numbers.