Matrix[T] = object
  arr: seq[seq[T]]

CPLIB_MATRIX_MATRIX = 1

proc `$`[T](m: Matrix[T]): string

proc `**`[T](m: Matrix[T]; n: int): Matrix[T]

proc `*=`[T](a: var Matrix[T]; b: Matrix[T])

proc `*=`[T](a: var Matrix[T]; x: T)

proc `*`[T](a, b: Matrix[T]): Matrix[T]

proc `*`[T](a: Matrix[T]; x: T): Matrix[T]

proc `*`[T](x: T; a: Matrix[T]): Matrix[T]

proc `+=`[T](a`gensym1: var Matrix[T]; b`gensym1: Matrix[T])

proc `+=`[T](a`gensym1: var Matrix[T]; x`gensym1: T)

proc `+`[T](a`gensym1, b`gensym1: Matrix[T]): Matrix[T]

proc `+`[T](a`gensym1: Matrix[T]; x`gensym1: T): Matrix[T]

proc `+`[T](x`gensym1: T; a`gensym1: Matrix[T]): Matrix[T]

proc `-=`[T](a`gensym2: var Matrix[T]; b`gensym2: Matrix[T])

proc `-=`[T](a`gensym2: var Matrix[T]; x`gensym2: T)

proc `-`[T](a`gensym2, b`gensym2: Matrix[T]): Matrix[T]

proc `-`[T](a`gensym2: Matrix[T]; x`gensym2: T): Matrix[T]

proc `-`[T](m: Matrix[T]): Matrix[T]

proc `-`[T](x`gensym2: T; a`gensym2: Matrix[T]): Matrix[T]

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

proc `[]=`[T](m: var Matrix[T]; r: int; c: int; val: T)

proc `[]=`[T](m: var Matrix[T]; r: int; row: seq[T])

proc `[]`[T](m: Matrix[T]; r: int): seq[T]

proc `[]`[T](m: Matrix[T]; r: int; c: int): T

proc `[]`[T](m: var Matrix[T]; r: int): var seq[T]

proc `[]`[T](m: var Matrix[T]; r: int; c: int): var T

proc `and`(a`gensym3, b`gensym3: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `and`(a`gensym3: Matrix[int]; x`gensym3: int): Matrix[int] {....raises: [],
    tags: [].}

proc `and`(x`gensym3: int; a`gensym3: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `div`(a`gensym18, b`gensym18: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `div`(a`gensym18: Matrix[int]; x`gensym18: int): Matrix[int] {....raises: [],
    tags: [].}

proc `div`(x`gensym18: int; a`gensym18: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `mod`(a`gensym21, b`gensym21: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `mod`(a`gensym21: Matrix[int]; x`gensym21: int): Matrix[int] {....raises: [],
    tags: [].}

proc `mod`(x`gensym21: int; a`gensym21: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `or`(a`gensym6, b`gensym6: Matrix[int]): Matrix[int] {....raises: [], tags: [].}

proc `or`(a`gensym6: Matrix[int]; x`gensym6: int): Matrix[int] {....raises: [],
    tags: [].}

proc `or`(x`gensym6: int; a`gensym6: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `shl`(a`gensym12, b`gensym12: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `shl`(a`gensym12: Matrix[int]; x`gensym12: int): Matrix[int] {....raises: [],
    tags: [].}

proc `shl`(x`gensym12: int; a`gensym12: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `shr`(a`gensym15, b`gensym15: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `shr`(a`gensym15: Matrix[int]; x`gensym15: int): Matrix[int] {....raises: [],
    tags: [].}

proc `shr`(x`gensym15: int; a`gensym15: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `xor`(a`gensym9, b`gensym9: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc `xor`(a`gensym9: Matrix[int]; x`gensym9: int): Matrix[int] {....raises: [],
    tags: [].}

proc `xor`(x`gensym9: int; a`gensym9: Matrix[int]): Matrix[int] {....raises: [],
    tags: [].}

proc and=(a`gensym3: var Matrix[int]; b`gensym3: Matrix[int]) {....raises: [],
    tags: [].}

proc and=(a`gensym3: var Matrix[int]; x`gensym3: int) {....raises: [], tags: [].}

proc div=(a`gensym18: var Matrix[int]; b`gensym18: Matrix[int]) {....raises: [],
    tags: [].}

proc div=(a`gensym18: var Matrix[int]; x`gensym18: int) {....raises: [], tags: [].}

proc h[T](m: Matrix[T]): int

proc hash[T](m: Matrix[T]): Hash

proc identity_matrix[T](n: int): Matrix[T]

proc identity_matrix[T](n: int; one, zero: T): Matrix[T]

proc initMatrix[T](arr: seq[seq[T]]): Matrix[T]

proc initMatrix[T](arr: seq[T]; vertical: bool = false): Matrix[T]

proc initMatrix[T](h, w: int; val: T): Matrix[T]

proc mod=(a`gensym21: var Matrix[int]; b`gensym21: Matrix[int]) {....raises: [],
    tags: [].}

proc mod=(a`gensym21: var Matrix[int]; x`gensym21: int) {....raises: [], tags: [].}

proc or=(a`gensym6: var Matrix[int]; b`gensym6: Matrix[int]) {....raises: [],
    tags: [].}

proc or=(a`gensym6: var Matrix[int]; x`gensym6: int) {....raises: [], tags: [].}

proc pow[T](m: Matrix[T]; n: int): Matrix[T]

proc shl=(a`gensym12: var Matrix[int]; b`gensym12: Matrix[int]) {....raises: [],
    tags: [].}

proc shl=(a`gensym12: var Matrix[int]; x`gensym12: int) {....raises: [], tags: [].}

proc shr=(a`gensym15: var Matrix[int]; b`gensym15: Matrix[int]) {....raises: [],
    tags: [].}

proc shr=(a`gensym15: var Matrix[int]; x`gensym15: int) {....raises: [], tags: [].}

proc sum[T](m: Matrix[T]): T

proc toMatrix[T](arr: seq[seq[T]]): Matrix[T]

proc w[T](m: Matrix[T]): int

proc xor=(a`gensym9: var Matrix[int]; b`gensym9: Matrix[int]) {....raises: [],
    tags: [].}

proc xor=(a`gensym9: var Matrix[int]; x`gensym9: int) {....raises: [], tags: [].}