package Hasabok is

	type Hasab is abstract tagged private;

	procedure Magassagot_Beallit ( h: in out Hasab'Class; m: in POSITIVE );
	function Alapterulet ( h: Hasab ) return POSITIVE is abstract;
	function Terfogat ( h: Hasab'Class ) return POSITIVE;

private
	-- type Hasab is abstract tagged null record;
	type Hasab is abstract tagged record
		magassag: POSITIVE;
	end record;

end Hasabok;