class
	DYNAMIC_DOUBLE_EXPRESSION

inherit
	DYNAMIC_EXPRESSION [DOUBLE]

	DOUBLE_EXPRESSION [ANY]

feature
end