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;