proc `$`[T](a: SIMXVec[T]): string

proc `*`[T](a, b: SIMXVec[T]): SIMXVec[T] {.importcpp: "operator*(#, #)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc `*=`[T](a: SIMXVec[T]; b: SIMXVec[T]) {.importcpp: "operator*=(#, #)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc `*=`[T](a: SIMXVec[T]; b: T) {.importcpp: "operator*=(#, #)",
                                    header: "<Kokkos_SIMD.hpp>", ...raises: [],
                                    tags: [], forbids: [].}

proc `+`[T](a, b: SIMXVec[T]): SIMXVec[T] {.importcpp: "operator+(#, #)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc `+=`[T](a: SIMXVec[T]; b: SIMXVec[T]) {.importcpp: "operator+=(#, #)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc `+=`[T](a: SIMXVec[T]; b: T) {.importcpp: "operator+=(#, #)",
                                    header: "<Kokkos_SIMD.hpp>", ...raises: [],
                                    tags: [], forbids: [].}

proc `-`[T](a, b: SIMXVec[T]): SIMXVec[T] {.importcpp: "operator-(#, #)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc `-=`[T](a: SIMXVec[T]; b: SIMXVec[T]) {.importcpp: "operator-=(#, #)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc `-=`[T](a: SIMXVec[T]; b: T) {.importcpp: "operator-=(#, #)",
                                    header: "<Kokkos_SIMD.hpp>", ...raises: [],
                                    tags: [], forbids: [].}

proc `/`[T](a, b: SIMXVec[T]): SIMXVec[T] {.importcpp: "operator/(#, #)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc `/=`[T](a: SIMXVec[T]; b: SIMXVec[T]) {.importcpp: "operator/=(#, #)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc `/=`[T](a: SIMXVec[T]; b: T) {.importcpp: "operator/=(#, #)",
                                    header: "<Kokkos_SIMD.hpp>", ...raises: [],
                                    tags: [], forbids: [].}

proc `:=`[T](x: SIMXVec[T]; value: T)

proc `=copy`[T](x: var SIMXVec[T]; y: SIMXVec[T]) {.importcpp: "#.operator=(#)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc `[]`[T](simd: SIMXVec[T]; lane: int): T {.importcpp: "#.operator[](#)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc `[]=`[T](simd: var SIMXVec[T]; lane: int; value: T)

proc newSIMXVec(T: typedesc): SIMXVec[T]

proc newSIMXVec[T](other: SIMXVec[T]): SIMXVec[T] {.
    importcpp: "Kokkos::Experimental::simd<\'*0>(#)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc newSIMXVec[T](value: T): SIMXVec[T] {.
    importcpp: "Kokkos::Experimental::simd<\'*0>(#)",
    header: "<Kokkos_SIMD.hpp>", ...raises: [], tags: [], forbids: [].}

proc newSIMXVec[T](values: openArray[T]): SIMXVec[T]

proc newSIMXVec[T](values: seq[T]): SIMXVec[T]

proc toSeq[T](a: SIMXVec[T]): seq[T]

proc toSIMXVec[T](values: openArray[T]): SIMXVec[T]

proc toSIMXVec[T](values: seq[T]): SIMXVec[T]

proc width[T](simd: SIMXVec[T]): int {.importcpp: "#.size()",
                                       header: "<Kokkos_SIMD.hpp>", ...raises: [],
                                       tags: [], forbids: [].}

iterator values[T](a: SIMXVec[T]): T