Module Reins.ListIterator

module ListIterator: sig .. end

module type S = sig .. end

The signature for an iterator over a List.

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

module From_List: functor (L : Reins.Lists.ListSig) -> S  with type 'a collection = 'a L.t
      and type 'a elt = 'a
      and type 'a cursor = 'a ListCursor.Make(L).cursor

Create a list iterator for the list L using the standard List_Cursor interface for the cursor.