StaticString[T] = object
  base*: StaticStringBase[T]
  l*: int32
  r*: int32

StaticStringBase[T] = ref object
  S*: seq[T]
  RMQ*: StaticRMQ[int32]
  SA*: seq[int32]
  RSA*: seq[int32]
  LCP*: seq[int32]
  size*: int32
  reversible*: bool

CPLIB_STR_STATIC_STRING = 1

proc `$`[T](S: StaticString[T]): string

proc `<=`[Element](S, T: StaticString[Element]): bool

proc `<`[Element](S, T: StaticString[Element]): bool

proc `==`[Element](S, T: StaticString[Element]): bool

proc `>=`[Element](S, T: StaticString[Element]): bool

proc `>`[Element](S, T: StaticString[Element]): bool

proc `[]`[T](S: StaticString[T]; idx: Natural): T

proc `[]`[T](S: StaticString[T]; slice: HSlice[int, int]): StaticString[T]

proc cmp[Element](S, T: StaticString[Element]): int {.inline.}

proc count[T](base: StaticStringBase[T]; S: openArray[T]): int

proc initStaticStringBase(S: string; reversible: bool = false): StaticStringBase[
    char] {....raises: [], tags: [].}

proc initStaticStringBase[T](S: openArray[T]; reversible: bool = false): StaticStringBase[
    T]

proc initSuffixArray[T](base: StaticStringBase[T]): seq[StaticString[T]]

proc initSuffixArray[T](S: StaticString[T]): seq[StaticString[T]]

proc isPalindrome[T](S: StaticString[T]): bool {.inline.}

proc lcp[Element](S, T: StaticString[Element]): int {.inline.}

proc lcs[Element](S, T: StaticString[Element]): int {.inline.}

proc len[T](S: StaticString[T]): int {.inline.}

proc reversed[T](S: StaticString[T]): StaticString[T] {.inline.}

proc startsWith[T](s, prefix: StaticString[T]): bool

proc suffix_lowerbound[T](base: StaticStringBase[T]; S: openArray[T]): int

proc suffix_upperbound[T](base: StaticStringBase[T]; S: openArray[T]): int

proc toStaticString(S: string; reversible: bool = false): StaticString[char] {.
    ...raises: [], tags: [].}

proc toStaticString[T](S: openArray[T]; reversible: bool = false): StaticString[
    T]

proc toStaticStrings(strings: openArray[string]; reversible: bool = false): seq[
    StaticString[char]] {....raises: [], tags: [].}