indexing
	description: "Cursors for linked lists"
	names: linked_list_cursor, cursor
	contents: generic

class interface
	LINKED_LIST_CURSOR [G]

create 

	make (active_element: like active; aft, bef: BOOLEAN)

invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);
	not_both: not (before and after);
	no_active_not_on: active = void implies (before or after);

end -- class LINKED_LIST_CURSOR