indexing description: "Cells containing an item" names: cell contents: generic class interface CELL [G] create put (v: like item) -- Make v the cell's item. -- Was declared in CELL as synonym of put and replace. ensure item_inserted: item = v feature -- Access item: G -- Content of cell. feature -- Element change put (v: like item) -- Make v the cell's item. -- Was declared in CELL as synonym of put and replace. ensure item_inserted: item = v replace (v: like item) -- Make v the cell's item. -- Was declared in CELL as synonym of put and replace. ensure item_inserted: item = v invariant -- from GENERAL reflexive_equality: standard_is_equal (Current); reflexive_conformance: conforms_to (Current); end -- class CELL