Class DS_LINKED_STACK

-- Create an empty stack.
-- Use = as comparison criterion.

-- Create an empty stack.
-- Use equal as comparison criterion.

-- Create an empty stack.
-- Use = as comparison criterion.
-- (From DS_CONTAINER)

-- Equality tester;
-- A void equality tester means that =
-- will be used as comparison criterion.
-- (From DS_SEARCHABLE)

-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)

-- Item at top of stack
-- (From DS_DISPENSER)

-- Number of items in stack
-- (From DS_CONTAINER)

-- Number of times v appears in stack
-- (Use equality_tester's comparison criterion
-- if not void, use = criterion otherwise.)
-- (From DS_SEARCHABLE)

-- Is current stack equal to other?
-- (From ANY)

-- Can set_equality_tester be called with a_tester
-- as argument in current state of container?
-- (Default answer: True.)
-- (From DS_SEARCHABLE)

-- Does container use the same comparison
-- criterion as other?
-- (From DS_SEARCHABLE)

-- Are v and u considered equal?
-- (Use equality_tester's comparison criterion
-- if not void, use = criterion otherwise.)
-- (From DS_SEARCHABLE)

-- May stack be extended with n items?
-- (From DS_EXTENDIBLE)

-- Does stack include v?
-- (Use equality_tester's comparison criterion
-- if not void, use = criterion otherwise.)
-- (From DS_SEARCHABLE)

-- Is container empty?
-- (From DS_CONTAINER)

-- Add items of other to stack.
-- Add other.first first, etc.
-- (From DS_EXTENDIBLE)

-- Add items of other to stack.
-- Add other.first first, etc.
-- (From DS_EXTENDIBLE)

-- Push v on stack.
-- (From DS_EXTENDIBLE)

-- Push v on stack.
-- (From DS_EXTENDIBLE)

-- Replace top item by v.
-- (From DS_STACK)

-- Keep n items in stack.
-- (From DS_DISPENSER)

-- Remove n items from stack.
-- (From DS_DISPENSER)

-- Remove top item from stack.
-- (From DS_DISPENSER)

-- Remove all items from stack.
-- (From DS_CONTAINER)

-- Clone of current object
-- (From KL_CLONABLE)

-- Copy other to current stack.
-- (From ANY)

-- Set equality_tester to a_tester.
-- A void equality tester means that =
-- will be used as comparison criterion.
-- (From DS_SEARCHABLE)

-- First cell in stack