Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/multprec_natural_vecvecs_io.ads, Revision 1.1.1.1
1.1 maekawa 1: with Multprec_Natural_Ring_io;
2: with Multprec_Natural_Vectors;
3: with Multprec_Natural_Vectors_io;
4: with Multprec_Natural_VecVecs;
5: with Generic_VecVecs_io;
6:
7: package Multprec_Natural_VecVecs_io is
8: new Generic_VecVecs_io(Multprec_Natural_Ring_io,
9: Multprec_Natural_Vectors,
10: Multprec_Natural_Vectors_io,
11: Multprec_Natural_VecVecs);
12:
13: -- DESCRIPTION :
14: -- Defines i/o of vectors of vectors of multi-precision natural numbers.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>