class ELEMENT_LIST

feature

	set_from_element_list (a_list: LIST [like anchored_element])
		do
		end

	anchored_element: ELEMENT
		do
		end

end