indexing description: "Cursors for multi-array trees" names: cursor class interface MULTAR_LIST_CURSOR [G] create make (active_element: like active; current_active_index, current_index: INTEGER) invariant -- from GENERAL reflexive_equality: standard_is_equal (Current); reflexive_conformance: conforms_to (Current); end -- class MULTAR_LIST_CURSOR