with Hasabok; use Hasabok; package KaH is type KorAlapuHasab is new Hasab with private; procedure Sugarat_Beallit ( k: in out KorAlapuHasab'Class; r: in POSITIVE); function Alapterulet ( k: KorAlapuHasab ) return POSITIVE; private type KorAlapuHasab is new Hasab with record sugar: POSITIVE; end record; end KaH;