var a10249 =
[
    [ "type", "a10249.html#ab26898861171cef86e6d85cc6e56a8cf", null ],
    [ "type", "a10249.html#a4cfe0ad9a0f6c6223fda6940f4aeea16", null ],
    [ "operator()", "a10249.html#a0cb036ecd1cf23b0487b3ac0b9e5052c", null ]
];