note
	description: "Summary description for {BINARY_OPERATOR}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

deferred class
	BINARY_OPERATOR

inherit
	INSTRUCTION

feature {NONE}

	make (v1: VALUE; v2: VALUE)
		do
			item := make_external (v1.item, v2.item)
		end

	make_name (v1: VALUE; v2: VALUE; name: TWINE)
		do
			item := make_name_external (v1.item, v2.item, name.item)
		end

feature {NONE}

	make_external (v1: POINTER; v2: POINTER): POINTER
		deferred
		end

	make_name_external (v1: POINTER; v2: POINTER; name: POINTER): POINTER
		deferred
		end

end