PersistentArray[shift; T] = ref object
  size: int
  root: PersistentArrayNode[shift, T]
  h: int

PersistentArrayNode[shift; T] {.acyclic.} = ref object
  arr: seq[PersistentArrayNode[shift, T]]
  value: T

CPLIB_COLLECTIONS_PERSISTENT_ARRAY = 1

proc `[]`[shift, T](PA: PersistentArray[shift, T]; index: Natural): T

proc change_value[shift, T](PA: PersistentArray[shift, T]; index: Natural;
                            value: T): PersistentArray[shift, T]

proc initPersistentArray[T](v: seq[T]; shift: static int = 5): PersistentArray[
    shift, T]

proc toseq[shift, T](PA: PersistentArray[shift, T]): seq[T]