Functor Reins.ListIterator.Make

module Make: functor (I : Reins.ListCursor.S) -> S  with type 'a collection = 'a I.list_
      and type 'a cursor = 'a I.cursor
      and type 'a elt = 'a

Create a list iterator from an arbitrary cursor type

Parameters:

I : Reins.ListCursor.S

type direction_ =

`\|`	`Left_Right`
`\|`	`Right_Left`

List iterators support only two directions. Left_Right iterates through the list in the forward direction, visiting the head of the list before the tail. Right_Left is the opposite. It iterates through all elements in the tail before visiting the head.

include Reins.Iterator.S