2 type Iface_1
is interface
;
3 procedure op1
(this
: Iface_1
) is abstract;
5 type Iface_2
is interface
;
6 procedure op2
(this
: Iface_2
) is abstract;
8 type Root
is new Iface_1
with record
12 procedure op1
(this
: Root
);
14 type DT
is new Root
and Iface_2
with null record;
15 procedure op2
(this
: DT
);