with Listen_Paket;

generic
   type Daten_Typ is private;

package Stack_Paket is
   package LP is new Listen_Paket (Daten_Typ, "<");
   use LP;
   procedure Empty (L : Liste);
   
   function Is_Empty (L : Liste) return Boolean;
   
   procedure Push (L : Liste; Daten : Daten_Typ);
   
   procedure Pop (L : Liste);
   
   procedure Top (L : Liste);
private
   type Stack_Element;
   type Ref_Stack_Element is access Stack_Element;
   type Stack_Element is record
     -- bla
   end record;
   type Stack is record
      -- bla
   end record;
end Stack_Paket;

generic
   type Inhalts_Typ is private;
   with function "<" (A : Inhalts_Typ; B : Inhalts_Typ) return Boolean;