-- Pozitiv racionalis szam tipus

package POZ_RAC is

	type PozRac is private;

	function "/" ( szamlalo, nevezo: POSITIVE ) return PozRac;
	function "/" ( p, q: PozRac ) return PozRac;
	function "/" ( p: PozRac; n: POSITIVE ) return PozRac;

	function Szamlalo ( p: PozRac ) return POSITIVE;
	function Nevezo ( p: PozRac ) return POSITIVE;

private

	type PozRac is record
		szamlalo, nevezo: POSITIVE;
	end record;

end POZ_RAC;