with VEREM_E;		-- hibakezelessel
generic
	type Szam is private;
	with function "+" ( a, b: Szam ) return Szam is <>;
	with function "*" ( a, b: Szam ) return Szam is <>;

package LENGYEL is	-- lengyel forma kiertekelese

	type EgysegTipus is ( szamertek, plussz, szor );
	type Egyseg ( tipus: EgysegTipus := szamertek ) is record
			case tipus is
				when szamertek => ertek: Szam;
				when others => null;
			end case;
		end record;

	package EVerem is new VEREM_E(Egyseg); use EVerem;
	subtype Kifejezes is Verem;

	procedure Betesz ( kif: in out Kifejezes; e: in Egyseg)
		renames EVerem.Push;

	procedure Kiertekel ( kif: in out Kifejezes; eredmeny: out Szam );
	HIBAS_KIFEJEZES: exception;

end LENGYEL;