3 with Layered_Abstraction_P;
4 with layered_abstraction;
5 procedure layered_instance is
6 package s1 is new Layered_Abstraction_P (Integer, 15);
7 package S2 is new Layered_Abstraction_P (Integer, 20);
8 package Inst is new layered_abstraction (S1, S2);