Module Reins.DoubleList

module DoubleList: sig .. end

This module implements acyclic doubly linked lists that support O(1) navigation. The running time of the rest of the operations depend on the argument L. All operations are explained assuming the list is visually laid out from left to right. That is, the front of the list is on the left and the end of the list is on the right.

module Make: 
functor (L : Reins.Lists.ListSig) -> sig .. end