var a01165 =
[
    [ "is_undereferenceable", "d8/d92/a01165.xhtml#ga2440b4b50cfd4d91115d302536abc6ab", null ],
    [ "is_undereferenceable", "d8/d92/a01165.xhtml#gae1032612872e425eead3b57fdbe063e6", null ],
    [ "is_undereferenceable", "d8/d92/a01165.xhtml#ga5cfd9cba1bf0d9a990b9856e853debcc", null ],
    [ "is_undereferenceable", "d8/d92/a01165.xhtml#ga352dbf20a0336bd41f38b7d2f2bf0705", null ]
];