with Hasabok; use Hasabok; package KaH is type KorAlapuHasab is new Hasab with record sugar: POSITIVE; end record; function Alapterulet ( k: KorAlapuHasab ) return POSITIVE; end KaH;