ANY | LINKED_LIST | LINKED_LIST_NODE | NONE |
class interface LINKED_LIST_NODE[E] -- -- To implement LINKED_LIST[E]. -- creation make (i: E; n: like Current) ensure item = i; next = n feature(s) from LINKED_LIST_NODE item: E next: like Current feature(s) from LINKED_LIST_NODE make (i: E; n: like Current) ensure item = i; next = n feature(s) from LINKED_LIST_NODE set_item (i: E) ensure item = i set_next (n: like Current) ensure next = n set_all_with (v: E) end of LINKED_LIST_NODE[E]