note
	description: "[
		Objects representing delayed calls to a boolean function,
		with some arguments possibly still open.
		]"
	library: "Free implementation of ELKS library"
	copyright: "Copyright (c) 1986-2009, Eiffel Software and others"
	license: "Eiffel Forum License v2 (see forum.txt)"
	date: "$Date$"
	revision: "$Revision$"

class
	PREDICATE [BASE_TYPE, OPEN_ARGS -> detachable TUPLE create default_create end]

inherit
	FUNCTION [BASE_TYPE, OPEN_ARGS, BOOLEAN]
		redefine 
			proxy_
		end

convert
	proxy_: {
			SCOOP_SEPARATE__FUNCTION[BASE_TYPE, OPEN_ARGS, BOOLEAN],
			SCOOP_SEPARATE__PREDICATE[BASE_TYPE, OPEN_ARGS],
			SCOOP_SEPARATE__ANY, SCOOP_SEPARATE_PROXY
	}

feature -- Proxy
	proxy_ : SCOOP_SEPARATE__PREDICATE[BASE_TYPE, OPEN_ARGS]

end