generic
	type Elem is private;

package VEREM_D is  -- verem diszkriminansos rekorddal + vektorral
	type Verem( max_meret: NATURAL ) is limited private;

	-- subtype Meret is NATURAL range 0..100;
	-- type Verem( max_meret: Meret := 10 ) is limited private;

	procedure Push ( v: in out Verem; e: Elem );
	procedure Pop ( v: in out Verem );
	function Top ( v: Verem ) return Elem;
	function isEmpty ( v: Verem ) return BOOLEAN;
private
	type Vektor is array (POSITIVE range <>) of Elem;
	type Verem( max_meret: NATURAL ) is record
		    mutato:    NATURAL := 0;
		    tartalom:  Vektor(1..max_meret);
		end record;
end VEREM_D;