sig
  type 'a cursor
  val cursor_of_list : 'a list -> 'a Cursor.cursor
  val cursor_of_function : (unit -> 'a option) -> 'a Cursor.cursor
  val cursor_of_stream : 'a Stream.t -> 'a Cursor.cursor
  val cursor_empty : unit -> 'a Cursor.cursor
  val cursor_of_singleton : 'a -> 'a Cursor.cursor
  val cursor_of_option : 'a option -> 'a Cursor.cursor
  val cursor_peek : 'a Cursor.cursor -> 'a option
  val cursor_npeek : int -> 'a Cursor.cursor -> 'a list
  val cursor_next : 'a Cursor.cursor -> 'a
  val cursor_junk : 'a Cursor.cursor -> unit
  val cursor_is_empty : 'a Cursor.cursor -> bool
  val cursor_get_singleton : 'a Cursor.cursor -> 'a
  val cursor_is_singleton : 'a Cursor.cursor -> bool
  val cursor_get_optional : 'a Cursor.cursor -> 'a option
  val cursor_is_optional : 'a Cursor.cursor -> bool
  val cursor_cons : 'a -> 'a Cursor.cursor -> 'a Cursor.cursor
  val cursor_append :
    'a Cursor.cursor -> 'a Cursor.cursor -> 'a Cursor.cursor
  val cursor_map : ('a -> 'b) -> 'a Cursor.cursor -> 'b Cursor.cursor
  val cursor_iter : ('a -> unit) -> 'a Cursor.cursor -> unit
  val cursor_map_concat :
    ('a -> 'b Cursor.cursor) -> 'a Cursor.cursor -> 'b Cursor.cursor
  val cursor_filter : ('a -> bool) -> 'a Cursor.cursor -> 'a Cursor.cursor
  val cursor_fold_left : ('a -> 'b -> 'a) -> 'a -> 'b Cursor.cursor -> 'a
  val cursor_exists : ('a -> bool) -> 'a Cursor.cursor -> bool
  val cursor_find : ('a -> bool) -> 'a Cursor.cursor -> 'a
  val cursor_list_fold : 'a Cursor.cursor list -> 'a Cursor.cursor
  val cursor_array_fold : 'a Cursor.cursor array -> 'a Cursor.cursor
  val cursor_for_all : ('a -> bool) -> 'a Cursor.cursor -> bool
  val cursor_for_all2 :
    ('a -> 'b -> bool) -> 'a Cursor.cursor -> 'b Cursor.cursor -> bool
  val cursor_length : 'a Cursor.cursor -> int
  val cursor_first : 'a Cursor.cursor -> 'a Cursor.cursor
  val cursor_last : 'a Cursor.cursor -> 'a Cursor.cursor
  val cursor_subsequence2 : 'a Cursor.cursor -> int -> 'a Cursor.cursor
  val cursor_subsequence3 :
    'a Cursor.cursor -> int -> int -> 'a Cursor.cursor
  val list_of_cursor : string -> 'a Cursor.cursor -> 'a list
  val rev_list_of_cursor : 'a Cursor.cursor -> 'a list
  val stream_of_cursor : 'a Cursor.cursor -> 'a Stream.t
end