class
	A [G -> NUMERIC]

feature

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

	has (v: G): BOOLEAN is
		do
		end

	attr: G

end