class
	C [G]

feature -- Basic operations

	frozen negation (predicate: FUNCTION [ANY, TUPLE [G], BOOLEAN]): FUNCTION --[ANY, TUPLE [G], BOOLEAN]
		require
			predicate /= Void
		do
			Result := agent (v: G; p: FUNCTION [ANY, TUPLE [G], BOOLEAN]): BOOLEAN
				do
				end (?, predicate)
		end
end