// @(#)$Id: Nil.pri,v 1.2 1997/01/05 01:54:34 leavens Exp $
// No private or protected members here, because no information in a nil object
private:
  // abstraction function: A(*this) = nil;