sig
  module type S =
    sig
      type 'a list_
      type 'a cursor
      val to_cursor :
        'a Reins.ListCursor.S.list_ -> 'a Reins.ListCursor.S.cursor
      val from_cursor :
        'a Reins.ListCursor.S.cursor -> 'a Reins.ListCursor.S.list_
      val at_front : 'a Reins.ListCursor.S.cursor -> bool
      val at_back : 'a Reins.ListCursor.S.cursor -> bool
      val move_next :
        'a Reins.ListCursor.S.cursor -> 'a Reins.ListCursor.S.cursor
      val move_prev :
        'a Reins.ListCursor.S.cursor -> 'a Reins.ListCursor.S.cursor
      val goto_front :
        'a Reins.ListCursor.S.cursor -> 'a Reins.ListCursor.S.cursor
      val goto_back :
        'a Reins.ListCursor.S.cursor -> 'a Reins.ListCursor.S.cursor
      val value : 'a Reins.ListCursor.S.cursor -> 'a option
      val list : 'a Reins.ListCursor.S.cursor -> 'a Reins.ListCursor.S.list_
      val replace_list :
        'a Reins.ListCursor.S.list_ ->
        'a Reins.ListCursor.S.cursor -> 'a Reins.ListCursor.S.cursor
    end
  module Make :
    functor (L : Lists.ListSig) ->
      sig
        type 'a list_ = 'a L.t
        type 'a cursor
        val to_cursor : 'a list_ -> 'a cursor
        val from_cursor : 'a cursor -> 'a list_
        val at_front : 'a cursor -> bool
        val at_back : 'a cursor -> bool
        val move_next : 'a cursor -> 'a cursor
        val move_prev : 'a cursor -> 'a cursor
        val goto_front : 'a cursor -> 'a cursor
        val goto_back : 'a cursor -> 'a cursor
        val value : 'a cursor -> 'a option
        val list : 'a cursor -> 'a list_
        val replace_list : 'a list_ -> 'a cursor -> 'a cursor
      end
end