class A2

inherit

	A [DOUBLE]

feature

	f (v: DOUBLE; i: INTEGER): DOUBLE is
		do
			$INSTRUCTION
		end 

end -- class A2