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