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