indexing
	description: "Cursors for compact trees"
	names: compact_tree_cursor, cursor

class interface
	COMPACT_TREE_CURSOR

create 

	make (i: INTEGER; aft, bef, bel, abv: BOOLEAN)

invariant

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

end -- class COMPACT_TREE_CURSOR