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
);