sig
  type t
  val empty : Procord_rope.t
  val is_empty : Procord_rope.t -> bool
  val of_string : string -> Procord_rope.t
  val to_string : Procord_rope.t -> string
  val iter_string_pieces :
    Procord_rope.t -> (string -> int -> int -> unit) -> unit
  val concat : Procord_rope.t -> Procord_rope.t -> Procord_rope.t
  val sub : Procord_rope.t -> int -> int -> Procord_rope.t
  val length : Procord_rope.t -> int
end