var group__group__datatype__compressed__vector__integer =
[
    [ "Compressed 256-bit vector types", "group__group__datatype__vector__compress__vector__256.html", "group__group__datatype__vector__compress__vector__256" ],
    [ "Compressed 512-bit vector types", "group__group__datatype__vector__compress__vector__512.html", "group__group__datatype__vector__compress__vector__512" ]
];