var a00772 =
[
    [ "argument_type", "a00772.html#a085ad6f2868339cc2296c053bdbb6c0a", null ],
    [ "result_type", "a00772.html#ae6f93ac9274fc3d58b521f3d88d8d6e2", null ],
    [ "operator()", "a00772.html#a919198824956d2a1e14f2a44f8c6e7f1", null ]
];