blob: 09a18227f35852c8589a2ea698132d86f1bd7431 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
with Ada.Containers.Doubly_Linked_Lists;
with Equal11_Interface;
package Equal11_Record is
use Equal11_Interface;
type My_Record_Type is new My_Interface_Type with
record
F : Integer;
end record;
overriding
procedure Put (R : in My_Record_Type);
Put_Result : Integer;
package My_Record_Type_List_Pck is
new Ada.Containers.Doubly_Linked_Lists (Element_Type => My_Record_Type);
end Equal11_Record;
|
