![]() ![]() | ![]() |
1.1 maekawa 1: with Generic_VecVecs; 2: with Standard_Natural_Ring; 3: with Standard_Natural_Vectors; 4: 5: package Standard_Natural_VecVecs is 6: new Generic_VecVecs(Standard_Natural_Ring,Standard_Natural_Vectors); 7: 8: -- DESCRIPTION : 9: -- Defines vectors of vectors over the ring of standard natural numbers.