sig
  type t
  val make : Rope.rope -> int -> Rope.Iterator.t
  val get : Rope.Iterator.t -> char
  val peek : Rope.Iterator.t -> int -> char
  val pos : Rope.Iterator.t -> int
  val incr : Rope.Iterator.t -> unit
  val decr : Rope.Iterator.t -> unit
  val goto : Rope.Iterator.t -> int -> unit
  val move : Rope.Iterator.t -> int -> unit
  val rope : Rope.Iterator.t -> Rope.rope
end