class interface DS_CELL[G]

creation
   make (v: G)
      --  Insert v in cell.

      ensure
         inserted: item = v

feature(s) from DS_CELL
   --  Access

   item: G
      --  Content of cell


feature(s) from DS_CELL
   --  Element change

   put (v: G)
      --  Insert v in cell.

      ensure
         inserted: item = v

feature(s) from DS_CELL
   --  Element change

   make (v: G)
      --  Insert v in cell.

      ensure
         inserted: item = v


end of DS_CELL[G]