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