// @(#)$Id: NonEmptyList.pri,v 1.3 1999/04/11 15:57:37 leavens Exp $
// protected and private members for NonEmptyList

protected:
  T contents;
  List<T> * next_cell;
  // abstraction function: A(*this) = contents \precat A(*next_cell)