with Hasabok; use Hasabok;
package Kockak is

	type Kocka is new Hasab with null record;
	-- type Kocka is new Hasab with record null; end record;
	
	function Alapterulet ( k: Kocka ) return POSITIVE;

end Kockak;