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.