FormatStr = string

Rope = ref RopeObj

RopeObj {...}{.acyclic.} = object of RootObj
  left, right: Rope
  L: int
  data*: string

gCacheTries = 0

gCacheMisses = 0

gCacheIntTries = 0

proc len(a: Rope): int {...}{.raises: [], tags: [].}

proc resetRopeCache() {...}{.raises: [], tags: [].}

proc rope(s: string): Rope {...}{.raises: [], tags: [].}

proc rope(i: BiggestInt): Rope {...}{.raises: [], tags: [].}

proc rope(f: BiggestFloat): Rope {...}{.raises: [], tags: [].}

proc `&`(a, b: Rope): Rope {...}{.raises: [], tags: [].}

proc `&`(a: Rope; b: string): Rope {...}{.raises: [], tags: [].}

proc `&`(a: string; b: Rope): Rope {...}{.raises: [], tags: [].}

proc `&`(a: openArray[Rope]): Rope {...}{.raises: [], tags: [].}

proc add(a: var Rope; b: Rope) {...}{.raises: [], tags: [].}

proc add(a: var Rope; b: string) {...}{.raises: [], tags: [].}

proc writeRope(f: File; r: Rope) {...}{.raises: [IOError], tags: [WriteIOEffect].}

proc writeRope(head: Rope; filename: AbsoluteFile): bool {...}{.raises: [IOError],
    tags: [WriteIOEffect].}

proc `$`(r: Rope): string {...}{.raises: [], tags: [].}

proc ropeConcat(a: varargs[Rope]): Rope {...}{.raises: [], tags: [].}

proc prepend(a: var Rope; b: Rope) {...}{.raises: [], tags: [].}

proc prepend(a: var Rope; b: string) {...}{.raises: [], tags: [].}

proc runtimeFormat(frmt: FormatStr; args: openArray[Rope]): Rope {...}{.raises: [],
    tags: [].}

proc `%`(frmt: static[FormatStr]; args: openArray[Rope]): Rope

proc equalsFile(r: Rope; f: File): bool {...}{.raises: [IOError],
    tags: [ReadIOEffect].}

proc equalsFile(r: Rope; filename: AbsoluteFile): bool {...}{.raises: [IOError],
    tags: [ReadIOEffect].}

proc writeRopeIfNotEqual(r: Rope; filename: AbsoluteFile): bool {...}{.
    raises: [IOError], tags: [ReadIOEffect, WriteIOEffect].}

iterator leaves(r: Rope): string {...}{.raises: [], tags: [].}

iterator items(r: Rope): char {...}{.raises: [], tags: [].}

template addf(c: var Rope; frmt: FormatStr; args: openArray[Rope])

template `~`(r: string): Rope