-- A child package that provides utilities for the package intstackpkg
package intstackpkg.utils is
    -- Outputs stack s to standard output
    procedure put(s: stacktype);

    -- Returns a string representation of stack s
    function toString(s: stacktype) return string;

    -- Returns the size of stack s
    function size(s: Stacktype) return Integer;

    -- Clears stack s
    procedure clear(s: in out Stacktype);

    -- Reverses stack s
    procedure reverseIt(s: in out Stacktype);

    -- Returns a stack that is a reverse of stack s
    function reverseIt(s: in Stacktype) return Stacktype;
end intstackpkg.utils;