-- 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;