var a09745 =
[
    [ "argument_type", "a09745.html#a2929dd45c12623740d853c7e8de398e8", null ],
    [ "result_type", "a09745.html#a1e638962bc3fcf40fe8929272477a9c5", null ],
    [ "operator()", "a09745.html#afb75bd97011d7c8d1f0e714f69bc6aa5", null ]
];