class
	C [G]

feature

	item (v: G): G is
		do
			Result := v
		end

	has (v: G): BOOLEAN is
		do
		end

	attr: G

end