DoublyLinkedListWrap::head Synopsis Declared in <support/DoublyLinkedList.h> DoublyLinkedEntryWrap<SymbolicTerm> head; Created with MrDocs