set Nodes(Node); nextnodes : Nodes -> Nodes (1->1); prevnodes : Nodes -> Nodes (1->1);