indexing
	description: "A description of an Eiffel procedure"

class interface
	EIFFEL_PROCEDURE

creation 
	make

feature -- call a procedure

	call_procedure (object: ANY; arguments: ARRAY [ANY])
			-- call this routine, if it's a procedure
		require
			conforms: valid_arguments (arguments)
	
end -- class EIFFEL_PROCEDURE