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]