Checking in specs
[repair.git] / Repair / RepairCompiler / MCC / specs / linkedlists / ex.space
1 set Nodes(Node);
2 nextnodes : Nodes -> Nodes (1->1);
3 prevnodes : Nodes -> Nodes (1->1);
4