package body VEREM_D is  -- verem diszkriminansos rekorddal + vektorral

	procedure Push ( v: in out Verem; e: Elem ) is
	begin
		v.mutato := v.mutato+1;
		v.tartalom(v.mutato) := e;
	end Push;

	procedure Pop ( v: in out Verem ) is
	begin	v.mutato := v.mutato-1;	end Pop;

	function Top ( v: Verem ) return Elem is
	begin	return v.tartalom(v.mutato);	end Top;

        function isEmpty ( v: Verem ) return BOOLEAN is
	begin	return (v.mutato = 0);	end isEmpty;
 
end VEREM_D;