indexing description: "Cursors for remembering positions in arbitrary data structures" names: cursor class interface CURSOR invariant -- from GENERAL reflexive_equality: standard_is_equal (Current); reflexive_conformance: conforms_to (Current); end -- class CURSOR