indexing
	description: "Cursors for two-way cursor trees"
	names: two_way_tree_cursor, cursor
	contents: generic

class interface
	TWO_WAY_TREE_CURSOR [G]

invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class TWO_WAY_TREE_CURSOR