package body VEREM_V is

        procedure Push ( v: in out Verem; e: in Elem ) is
        begin
                v.mutato := v.mutato+1;
                v.tartalom(v.mutato) := e;
        end Push;

        procedure Pop  ( v: in out Verem ) is
        begin v.mutato := v.mutato-1; end Pop;

        function  Top  ( v: Verem ) return Elem is
        begin return v.tartalom(v.mutato); end Top;

        function  Full  ( v: Verem ) return BOOLEAN is
        begin return v.mutato >= MAX_MERET; end;

        function  Empty ( v: VEREM ) return BOOLEAN is
        begin return v.mutato <= 0; end;

end VEREM_V;