Doubly-linked list/Element definition: Difference between revisions

Content added Content deleted

Inline

@@ Line 221: / Line 221: @@
   | prev, item, next::next_tl ->
       item::prev, next, next_tl
-  | _, _, [] ->
+  | _ ->
       failwith "end of nav_list reached"
@@ Line 227: / Line 227: @@
   | prev::prev_tl, item, next ->
       prev_tl, prev, item::next
-  | _, _, [] ->
+  | _ ->
       failwith "begin of nav_list reached"
 </lang>