var a01612 =
[
    [ "PB_DS_STATIC_ASSERT", "a01612.html#a0610a49e32a86da761a7bd14b8fddc33", null ],
    [ "false_type", "a01612.html#a10f33acc620f2a4d910303f6606f2038", null ],
    [ "true_type", "a01612.html#ad815331549743ef85b02064545c417a8", null ]
];