Java Code for OpenList (3)
l// Get rest of a non-empty list.

public OpenList rest()
   {
   ...
   }

l// pseudo-constructor or ÒfactoryÓ for
// non-empty list

public OpenList cons(Object First)
   {
   ...
   }