proc `$`[T](x: RefArray[T]): string

proc `==`[T](a, b: RefArray[T]): bool

proc `=trace`[T](arr: var RefArray[T]; env: pointer)

proc `=wasMoved`[T](arr: var RefArray[T]) {.inline, nodestroy.}

proc `[]`[T](x: RefArray[T]; i: int): lent T {.inline.}

proc `[]`[T](x: RefArray[T]; i: UncheckedIndex): lent T {.inline.}

proc `[]`[T](x: var RefArray[T]; i: int): var T {.inline.}

proc `[]`[T](x: var RefArray[T]; i: UncheckedIndex): var T {.inline.}

proc `[]=`[T](x: RefArray[T]; i: int; val: sink T) {.inline.}

proc `[]=`[T](x: RefArray[T]; i: UncheckedIndex; val: sink T) {.inline.}

proc hash[T](a: RefArray[T]): Hash

proc len[T](x: RefArray[T]): int {.inline.}

proc newArray[T](length: int): RefArray[T]

proc newArrayUninit[T](length: int): RefArray[T] {.inline.}

proc toRefArray[T](arr: openArray[T]): RefArray[T]

iterator items[T](x: RefArray[T]): T

iterator mitems[T](x: RefArray[T]): var T

iterator mpairs[T](x: RefArray[T]): (int, var T)

iterator pairs[T](x: RefArray[T]): (int, T)

template toOpenArray[T](x: RefArray[T]; first, last: int): auto