--with Hasabok; use Hasabok;
package Hasabok.Kockak is

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

private

	type Kocka is new Hasab with null record;

end Hasabok.Kockak;