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