var group__group__datatype__vector__integer =
[
    [ "1024-bit vector types", "group__group__datatype__vector__integer__1024.html", "group__group__datatype__vector__integer__1024" ],
    [ "128-bit vector types", "group__group__datatype__vector__integer__128.html", "group__group__datatype__vector__integer__128" ],
    [ "16-bit vector types", "group__group__datatype__vector__integer__16.html", "group__group__datatype__vector__integer__16" ],
    [ "256-bit vector types", "group__group__datatype__vector__integer__256.html", "group__group__datatype__vector__integer__256" ],
    [ "32-bit vector types", "group__group__datatype__vector__integer__32.html", "group__group__datatype__vector__integer__32" ],
    [ "512-bit vector types", "group__group__datatype__vector__integer__512.html", "group__group__datatype__vector__integer__512" ],
    [ "64-bit vector types", "group__group__datatype__vector__integer__64.html", "group__group__datatype__vector__integer__64" ],
    [ "8-bit vector types", "group__group__datatype__vector__integer__8.html", "group__group__datatype__vector__integer__8" ]
];