var a00719 =
[
    [ "first_argument_type", "dd/dd8/a00719.xhtml#a5cf1ca00bab0b0d79f228989d00ba139", null ],
    [ "result_type", "dd/dd8/a00719.xhtml#aa97bc58b647f4f46eb63ecdca3a7e29a", null ],
    [ "operator()", "dd/dd8/a00719.xhtml#a2e4ee9d293ab14390f58ae3af6c42d4e", null ]
];