deferred class FUNCTION [IN, OUT]

feature 

	infix "@" (a: IN): OUT is
		deferred
		end;
	
end -- class FUNCTION