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