class TAIL [G]

inherit
	FUNCTION [STREAM [G], STREAM [G]]

feature 

	infix "@" (s: STREAM [G]): STREAM [G] is
		do
			Result := s.tail
		end;
	
end -- class TAIL