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