class LINKED_LIST_NODE [E_]

Features exported to LINKED_LIST

Direct parents

conformant parents

ANY_LINKED_LIST_NODE

Summary

creation features

• make (i: E_, n: LINKED_LIST_NODE [E_])

exported features

• item: E_
• next: LINKED_LIST_NODE [E_]

• make (i: E_, n: LINKED_LIST_NODE [E_])

• set_item (i: E_)
• set_next (n: LINKED_LIST_NODE [E_])
• set_all_with (v: E_)

Details