package body VEREM_L is	-- verem listaban tarolva

        procedure Push ( v: in out Verem; e: Elem ) is
	begin	v.top := new Node'(e,v.top);	end Push;

        procedure Pop ( v: in out Verem ) is
	begin	v.top := v.top.next;	end Pop;

        function Top ( v: Verem ) return Elem is
	begin	return v.top.data;	end Top;

	function isEmpty ( v: Verem ) return BOOLEAN is
	begin	return (v.top = null);	end isEmpty;

end VEREM_L;