Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/multprec_natural_vecvecs_io.ads, Revision 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>