sig
  type t
  val of_string : string -> Rope.t
  val to_string : Rope.t -> string
  val ( ^ ) : Rope.t -> Rope.t -> Rope.t
end