3 with BIP_Prim_Func2_Pkg
;
5 procedure BIP_Prim_Func2
is
8 type Instance
is limited interface
;
9 function Make
return Instance
is abstract;
13 type Instance
is new B
.Instance
with null record;
14 function Make
return Instance
is (null record);
17 package T
is new BIP_Prim_Func2_Pkg
(B
.Instance
, C
.Instance
, C
.Make
);
19 Thing
: B
.Instance
'Class := T
.Make
(2);